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…
☆27Updated 4 months ago
Alternatives and similar repositories for UWrMaxSat
Users that are interested in UWrMaxSat are comparing it to the libraries listed below
Sorting:
- CUDD Decision Diagram Package☆145Updated 3 weeks ago
- The glucose SAT solver☆125Updated 4 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆74Updated last week
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆133Updated this week
- Approximate Model Counter☆80Updated 3 weeks ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆33Updated 7 months ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated last year
- ☆586Updated 2 weeks ago
- CaDiCaL SAT Solver☆489Updated last week
- Cube-and-Conquer SAT solver☆37Updated 3 months ago
- Implementation of multi-core (binary) decision diagrams☆78Updated 2 months ago
- SAT Solver SATCH☆119Updated 3 years ago
- The #SAT solver sharpSAT☆60Updated 3 years ago
- ☆35Updated 3 months ago
- Lingeling SAT Solver☆105Updated last year
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆206Updated 2 weeks ago
- High-performance model counter☆46Updated last week
- A framework to ease parallelization of sequential SAT solvers☆26Updated 5 months ago
- MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus☆26Updated 3 years ago
- Reads a state transition system and performs property checking☆88Updated last month
- The opensmt solver☆89Updated last week
- The Standard Interface for Incremental Satisfiability Solving☆50Updated 3 years ago
- The DRAT-trim proof checker☆65Updated 11 months ago
- Structured BVA☆41Updated last year
- Pono: A flexible and extensible SMT-based model checker☆112Updated 2 weeks ago
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆61Updated 10 years ago
- Entry to model counting competition 2021.☆22Updated last year
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆131Updated 2 weeks ago
- Parallel SAT solver that won the SAT Competition 2022 by a large margin (24% faster than the 2nd ranked solver)☆25Updated 2 years ago
- microsat☆137Updated 3 years ago