marekpiotrow / UWrMaxSat
UWrMaxSat is a relatively new MiniSat+-based solver participating in MaxSAT Evaluation 2019, where it ranked second places in both main tracks (weighted and unweighted). In MaxSAT Evaluation 2020 it won the weighted main track. It has been created recently at the University of Wrocław. It is a complete solver for partial weighted MaxSAT instanc…
☆21Updated 3 months ago
Related projects ⓘ
Alternatives and complementary repositories for UWrMaxSat
- SAT Solver SATCH☆107Updated 2 years ago
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆72Updated 11 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated 11 months ago
- ☆457Updated last month
- Cube-and-Conquer SAT solver☆31Updated last year
- Approximate Model Counter☆70Updated 3 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Entry to model counting competition 2021.☆19Updated 4 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆86Updated last month
- ☆32Updated 3 months ago
- MonoSAT - An SMT solver for Monotonic Theories☆107Updated last year
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆117Updated last year
- CaDiCaL SAT Solver☆376Updated this week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆26Updated 4 months ago
- Pono: A flexible and extensible SMT-based model checker☆80Updated 2 weeks ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆60Updated this week
- ☆47Updated 7 months ago
- The main development version of the PRISM model checker.☆156Updated last month
- Reads a state transition system and performs property checking☆76Updated this week
- microsat☆130Updated 2 years ago
- The first scalable probabilistic exact counter☆25Updated 6 months ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆335Updated 2 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated 11 months ago
- The opensmt solver☆77Updated this week
- A Fast Floating-Point Satisfiability Solver☆20Updated 5 years ago
- Lingeling SAT Solver☆97Updated 7 months ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆114Updated this week
- The #SAT solver sharpSAT☆55Updated 2 years ago