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…
☆22Updated last week
Alternatives and similar repositories for UWrMaxSat:
Users that are interested in UWrMaxSat are comparing it to the libraries listed below
- Approximate Model Counter☆73Updated this week
- SAT Solver SATCH☆114Updated 2 years ago
- ☆34Updated 8 months ago
- Cube-and-Conquer SAT solver☆32Updated last year
- Multi-core Decision Diagram (BDD/LDD) implementation☆42Updated last year
- The opensmt solver☆80Updated this week
- Reads a state transition system and performs property checking☆76Updated 2 weeks ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆121Updated this week
- A Parallel SAT Solver with GPU Accelerated Inprocessing☆94Updated 5 months ago
- Pono: A flexible and extensible SMT-based model checker☆92Updated last month
- CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http://vlsi.colorado.edu/~fabio/C…☆125Updated last year
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆56Updated 9 years ago
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated 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☆95Updated 4 months ago
- An I/O-efficient implementation of (Binary) Decision Diagrams☆27Updated last week
- MonoSAT - An SMT solver for Monotonic Theories☆111Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Entry to model counting competition 2021.☆20Updated 8 months ago
- State-of-the-art MaxSAT Solver & Library Based on Unsat Core Guided Techniques☆16Updated 11 months ago
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆28Updated last week
- CaDiCaL SAT Solver☆418Updated this week
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- Lingeling SAT Solver☆99Updated last year
- The HW-CBMC and EBMC Model Checkers for Verilog☆65Updated this week
- The first scalable probabilistic exact counter☆28Updated this week
- Implementation of multi-core (binary) decision diagrams☆71Updated 9 months ago
- Malleable Load Balancer. Massively Parallel Logic Backend. Award-winning SAT solving for the cloud.☆64Updated this week
- AMulet 2. - A better AIG Multiplier Examination Tool☆24Updated 2 years ago
- Bit-bLAsting solving Non-linear integer constraints.☆21Updated 8 months ago