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…
☆26Updated last month
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☆122Updated last month
- ☆34Updated last week
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆67Updated last week
- Approximate Model Counter☆78Updated last week
- CUDD Decision Diagram Package☆140Updated this week
- ☆558Updated last month
- The glucose SAT solver☆120Updated last month
- CaDiCaL SAT Solver☆469Updated last week
- Implementation of multi-core (binary) decision diagrams☆77Updated this week
- Lingeling SAT Solver☆103Updated last year
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- SAT Solver SATCH☆120Updated 2 years ago
- Cube-and-Conquer SAT solver☆36Updated 3 weeks ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The DRAT-trim proof checker☆63Updated 8 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆32Updated 4 months ago
- Pono: A flexible and extensible SMT-based model checker☆105Updated last week
- High-performance probabilistic exact counter☆42Updated 2 weeks ago
- The opensmt solver☆87Updated 2 weeks ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆201Updated 2 months ago
- A framework to ease parallelization of sequential SAT solvers☆19Updated 3 months ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆19Updated 3 weeks ago
- The #SAT solver sharpSAT☆59Updated 2 years ago
- Entry to model counting competition 2021.☆22Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated 2 weeks ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆126Updated last week
- SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints☆29Updated 5 years ago
- Reads a state transition system and performs property checking☆84Updated 5 months ago