maxtuno / slime-sat-solver
A Free World Class High Performance SAT Solver
☆20Updated 3 years ago
Alternatives and similar repositories for slime-sat-solver:
Users that are interested in slime-sat-solver are comparing it to the libraries listed below
- The Standard Interface for Incremental Satisfiability Solving☆49Updated 2 years ago
- SLIME Cloud: A Free Massive World Class High Performance SAT Solver, Winner of Crypto Track and 3rd place on Cloud Track at the SAT Compe…☆6Updated last year
- configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se…☆41Updated last year
- LibPoly is a C library for manipulating polynomials☆51Updated 4 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- Cube-and-Conquer SAT solver☆34Updated last year
- PEQNP Mathematical Solver☆13Updated 3 years ago
- Pedagogical first-order prover in Python☆75Updated this week
- A fast and certifying solver for quantified Boolean formulas.☆27Updated 11 months ago
- A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point☆40Updated last month
- A research platform and active library for generalised SAT solving☆33Updated this week
- This repository contains the code of Intel(R) SAT Solver (IntelSAT)☆28Updated last month
- ☆52Updated last month
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆78Updated last year
- Structured BVA☆34Updated last year
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- The anytime MaxSAT solver Loandra☆17Updated last month
- ☆11Updated 3 years ago
- Lingeling SAT Solver☆100Updated last year
- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers☆38Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Successor to PolyBoRi☆19Updated 4 months ago
- ☆138Updated this week
- Qute: a dependency learning QBF solver.☆13Updated 4 months ago
- Schedule for ArtOfSAT☆10Updated last year
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆16Updated 3 years ago
- Solving floating point SMT constraints on a GPU☆48Updated 4 years ago
- SAT instance generator for SHA-1☆47Updated 4 years ago
- Multi-core Decision Diagram (BDD/LDD) implementation☆43Updated last year
- SAT Solver SATCH☆117Updated 2 years ago