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…
☆23Updated 2 weeks ago
Alternatives and similar repositories for UWrMaxSat:
Users that are interested in UWrMaxSat are comparing it to the libraries listed below
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆104Updated 2 weeks ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- Approximate Model Counter☆76Updated this week
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆126Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆28Updated 3 weeks ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated this week
- Implementation of multi-core (binary) decision diagrams☆73Updated 10 months ago
- Cube-and-Conquer SAT solver☆34Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The first scalable probabilistic exact counter☆31Updated this week
- ☆34Updated 9 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Entry to model counting competition 2021.☆20Updated 9 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- Structured BVA☆34Updated 11 months ago
- The glucose SAT solver☆98Updated 5 months ago
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆197Updated this week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 9 months ago
- Lingeling SAT Solver☆100Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- Pono: A flexible and extensible SMT-based model checker☆99Updated this week
- A framework to ease parallelization of sequential SAT solvers☆17Updated last month
- CaDiCaL SAT Solver☆428Updated this week
- An I/O-efficient implementation of (Binary) Decision Diagrams☆27Updated last month
- SAT Solver SATCH☆117Updated 2 years ago
- The #SAT solver sharpSAT☆57Updated 2 years ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆16Updated last year