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 2 weeks 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☆137Updated this week
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆78Updated this week
- CaDiCaL SAT Solver☆500Updated this week
- ☆596Updated last month
- SAT Solver SATCH☆120Updated 3 years ago
- Lingeling SAT Solver☆105Updated last year
- Approximate Model Counter☆81Updated this week
- CUDD Decision Diagram Package☆147Updated this week
- High-performance model counter☆50Updated this week
- Cube-and-Conquer SAT solver☆41Updated 4 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆34Updated 8 months ago
- The glucose SAT solver☆127Updated 6 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated 2 years ago
- Implementation of multi-core (binary) decision diagrams☆80Updated 3 months ago
- Structured BVA☆42Updated last year
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆211Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- The DRAT-trim proof checker☆67Updated last year
- ☆35Updated 4 months ago
- Pono: A flexible and extensible SMT-based model checker☆117Updated this week
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated 2 years ago
- Reads a state transition system and performs property checking☆88Updated 2 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated 2 years ago
- The opensmt solver☆91Updated this week
- microsat☆140Updated 3 years ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆136Updated 2 weeks ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Updated 3 years ago
- A framework to ease parallelization of sequential SAT solvers☆26Updated 7 months ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆39Updated 2 years ago
- py-aiger: A python library for manipulating sequential and combinatorial circuits encoded using `and` & `inverter` gates (AIGs).☆49Updated 11 months ago