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…
☆25Updated 2 months ago
Alternatives and similar repositories for UWrMaxSat
Users that are interested in UWrMaxSat are comparing it to the libraries listed below
Sorting:
- Approximate Model Counter☆78Updated last week
- High-performance probabilistic exact counter☆41Updated last week
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆118Updated 2 months ago
- Cube-and-Conquer SAT solver☆35Updated last year
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆31Updated 3 months ago
- The glucose SAT solver☆114Updated 2 weeks ago
- ☆34Updated 2 weeks ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆18Updated last month
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 3 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- A framework to ease parallelization of sequential SAT solvers☆19Updated last month
- Pono: A flexible and extensible SMT-based model checker☆103Updated last week
- Reads a state transition system and performs property checking☆83Updated 4 months ago
- AIGER And-Inverter-Graph Library☆79Updated 3 weeks ago
- SAT Solver SATCH☆120Updated 2 years ago
- The DRAT-trim proof checker☆61Updated 7 months ago
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆130Updated 2 years ago
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆24Updated 2 years ago
- Lingeling SAT Solver☆102Updated last year
- The #SAT solver sharpSAT☆59Updated 2 years ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆29Updated last week
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆66Updated this week
- A C++ Toolkit for Encoding Pseudo-Boolean Constraints into CNF☆19Updated 11 months ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆44Updated last year
- Hardware Formal Verification Tool☆56Updated this week
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- ☆13Updated 7 years ago
- Entry to model counting competition 2021.☆21Updated last year