Pinned Repositories
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
BrunoDutertre.github.io
cadical
CaDiCaL SAT Solver
cryptominisat
An advanced SAT Solver
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
drat-trim
The DRAT-trim proof checker
kissat
satch
SAT Solver SATCH
yices2
The Yices SMT Solver
yices2-xcode
testing yices2 build with xcode
BrunoDutertre's Repositories
BrunoDutertre/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
BrunoDutertre/cadical
CaDiCaL SAT Solver
BrunoDutertre/cryptominisat
An advanced SAT Solver
BrunoDutertre/kissat
BrunoDutertre/satch
SAT Solver SATCH
BrunoDutertre/yices2
The Yices SMT Solver
BrunoDutertre/yices2-xcode
testing yices2 build with xcode
BrunoDutertre/BrunoDutertre.github.io
BrunoDutertre/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
BrunoDutertre/drat-trim
The DRAT-trim proof checker
BrunoDutertre/glucose-syrup
The Glucose SAT Solver
BrunoDutertre/lean4
Lean 4 programming language and theorem prover
BrunoDutertre/lp_solve
Mirror of lp_solve (http://lpsolve.sourceforge.net/5.5/). Please file a bug if code is out of date.
BrunoDutertre/lpsolve
Java wrapper for lpsolve library
BrunoDutertre/minisat
A minimalistic and high-performance SAT solver
BrunoDutertre/murxla
A model-based API Fuzzer for SMT Solvers.
BrunoDutertre/NTT
An Implementation of the Number Theoretic Transform
BrunoDutertre/rust-lean-models
Lean models of Rust libraries
BrunoDutertre/scranfilize
Tunable Scrambler for CNFs