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…
☆23Updated last month
Alternatives and similar repositories for UWrMaxSat
Users that are interested in UWrMaxSat are comparing it to the libraries listed below
Sorting:
- ☆34Updated 10 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- Cube-and-Conquer SAT solver☆34Updated last year
- Lingeling SAT Solver☆103Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- The glucose SAT solver☆100Updated 6 months ago
- SAT Solver SATCH☆120Updated 2 years ago
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆110Updated last month
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- Approximate Model Counter☆78Updated 2 weeks ago
- Implementation of multi-core (binary) decision diagrams☆73Updated last year
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated this week
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- Management of Benchmark Instances and Instance Attributes☆20Updated last month
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆130Updated last year
- microsat☆136Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Pono: A flexible and extensible SMT-based model checker☆102Updated this week
- Structured BVA☆37Updated last year
- ☆538Updated 2 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- CaDiCaL SAT Solver☆448Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- High-performance probabilistic exact counter☆40Updated last week
- The #SAT solver sharpSAT☆58Updated 2 years ago
- The DRAT-trim proof checker☆60Updated 6 months ago
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆18Updated 10 months ago
- A framework to ease parallelization of sequential SAT solvers☆18Updated 3 weeks ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆29Updated 2 months ago
- The opensmt solver☆83Updated last week