marekpiotrow / UWrMaxSatLinks
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…
☆28Updated 3 weeks ago
Alternatives and similar repositories for UWrMaxSat
Users that are interested in UWrMaxSat are comparing it to the libraries listed below
Sorting:
- CUDD Decision Diagram Package☆151Updated last month
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆138Updated 2 months ago
- Lingeling SAT Solver☆106Updated last year
- ☆602Updated 3 months ago
- CaDiCaL SAT Solver☆514Updated this week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated 2 years ago
- The glucose SAT solver☆136Updated last month
- Approximate Model Counter☆82Updated 3 weeks ago
- Implementation of multi-core (binary) decision diagrams☆83Updated 5 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆37Updated 10 months ago
- Cube-and-Conquer SAT solver☆44Updated 6 months ago
- SAT Solver SATCH☆120Updated 3 years ago
- High-performance model counter☆53Updated this week
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆215Updated last month
- The opensmt solver☆91Updated 3 weeks ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆81Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆51Updated 3 years ago
- Manthan for Boolean function synthesis☆35Updated 2 weeks ago
- The main development version of the PRISM model checker.☆181Updated this week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆39Updated 3 years ago
- Structured BVA☆42Updated last year
- Pono: A flexible and extensible SMT-based model checker☆117Updated this week
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆63Updated 10 years ago
- Distributed and ressource elastic cube-and-conquer SAT & QBF solver☆20Updated 3 years ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆28Updated 3 months ago
- Reads a state transition system and performs property checking☆90Updated 4 months ago
- ☆35Updated 6 months ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆355Updated last year
- A framework to ease parallelization of sequential SAT solvers☆30Updated 3 weeks ago