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…
☆22Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for UWrMaxSat
- Approximate Model Counter☆70Updated 4 months ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆86Updated 2 months ago
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆117Updated last year
- Reads a state transition system and performs property checking☆76Updated 2 weeks ago
- The Standard Interface for Incremental Satisfiability Solving☆48Updated 2 years ago
- Cube-and-Conquer SAT solver☆31Updated last year
- Pono: A flexible and extensible SMT-based model checker☆82Updated last month
- ☆33Updated 4 months ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆40Updated last year
- SAT Solver SATCH☆109Updated 2 years ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆26Updated 5 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆73Updated last year
- The #SAT solver sharpSAT☆55Updated 2 years ago
- Entry to model counting competition 2021.☆19Updated 5 months ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆55Updated 9 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆33Updated last year
- The opensmt solver☆78Updated this week
- AMulet 2. - A better AIG Multiplier Examination Tool☆20Updated 2 years ago
- The glucose SAT solver☆83Updated 2 weeks ago
- The first scalable probabilistic exact counter☆26Updated 7 months ago
- microsat☆130Updated 2 years ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆60Updated this week
- Implementation of multi-core (binary) decision diagrams☆67Updated 5 months ago
- A toolbox for knowledge compilation☆21Updated 2 weeks ago
- The DRAT-trim proof checker☆50Updated 6 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆41Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated last year
- CAQE is a solver for quantified Boolean formulas☆30Updated last year
- MonoSAT - An SMT solver for Monotonic Theories☆107Updated last year
- The HW-CBMC and EBMC Model Checkers for Verilog☆61Updated this week