msoos / cryptominisatLinks
An advanced SAT solver
☆891Updated last month
Alternatives and similar repositories for cryptominisat
Users that are interested in cryptominisat are comparing it to the libraries listed below
Sorting:
- A minimalistic and high-performance SAT solver☆1,114Updated last year
- CaDiCaL SAT Solver☆493Updated this week
- ☆589Updated last month
- pySMT: A library for SMT formulae manipulation and solving☆621Updated 2 months ago
- SRI Yices SMT Solver☆433Updated 2 months ago
- cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.☆1,218Updated last week
- Simple Theorem Prover, an efficient SMT solver for bitvectors☆553Updated 3 weeks ago
- A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.☆354Updated last year
- A toolkit for SAT-based prototyping in Python☆437Updated 2 weeks ago
- Lingeling SAT Solver☆105Updated last year
- The glucose SAT solver☆126Updated 5 months ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆293Updated this week
- Approximate Model Counter☆79Updated last month
- SeaHorn Verification Framework☆463Updated 5 months ago
- C Bounded Model Checker☆980Updated last week
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆211Updated last month
- SAT Solver SATCH☆120Updated 3 years ago
- CUDD Decision Diagram Package☆145Updated this week
- Boogie☆561Updated last week
- The Vampire Theorem Prover☆364Updated this week
- Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver☆77Updated 2 years ago
- Bosphorus, ANF simplifier and solver, and ANF-to-CNF converter☆76Updated 7 months ago
- microsat☆138Updated 3 years ago
- The Rosette solver-aided host language, sample solver-aided DSLs, and demos☆675Updated 3 months ago
- The #SAT solver sharpSAT☆61Updated 3 years ago
- Implementation of multi-core (binary) decision diagrams☆79Updated 2 months ago
- CPAchecker, the Configurable Software-Verification Platform (read-only mirror)☆250Updated this week
- Cryptol: The Language of Cryptography☆1,181Updated last week
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆134Updated this week
- Formal Reasoning About Programs☆711Updated this week