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…
☆27Updated 3 months ago
Alternatives and similar repositories for UWrMaxSat
Users that are interested in UWrMaxSat are comparing it to the libraries listed below
Sorting:
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆129Updated 2 weeks ago
- The glucose SAT solver☆123Updated 4 months ago
- CUDD Decision Diagram Package☆143Updated this week
- Cube-and-Conquer SAT solver☆37Updated 2 months ago
- Approximate Model Counter☆80Updated last week
- Implementation of multi-core (binary) decision diagrams☆78Updated last month
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- Lingeling SAT Solver☆105Updated last year
- CaDiCaL SAT Solver☆485Updated this week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 6 months ago
- ☆573Updated 3 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆73Updated this week
- ☆35Updated 2 months ago
- SAT Solver SATCH☆119Updated 3 years ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Updated 2 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆204Updated 3 weeks ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Structured BVA☆41Updated last year
- High-performance model counter☆46Updated last week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The #SAT solver sharpSAT☆60Updated 3 years ago
- Pono: A flexible and extensible SMT-based model checker☆110Updated this week
- Reads a state transition system and performs property checking☆87Updated last month
- A framework to ease parallelization of sequential SAT solvers☆23Updated 5 months ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆352Updated last year
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆130Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- The opensmt solver☆89Updated 2 weeks ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆37Updated 2 years ago
- BuDDy BDD package (with CMake support)☆13Updated last year