aniemetz

Stanford University

Pinned Repositories

cadical
CaDiCaL SAT Solver
Language:C++0 0 00
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT0 2 01
cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
Language:Python0 0 00
qbfdd
A delta debugger for QBF benchmarks in QDIMACS format
Language:Python2 0 00
bitwuzla
Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays and uninterpreted functions and their combinations. Its name is derived from an Austrian dialect expression that can be translated as “someone who tinkers with bits”.
Language:SMT205 13 8830
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMT334 14 15762
btor2tools
A generic parser and tool package for the BTOR2 format.
Language:C40 8 1125
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1k 37 2.6k234
ddSMT
A delta debugger for SMT benchmarks in SMT-LIB v2.
Language:Python50 9 1017
murxla
A model-based API Fuzzer for SMT Solvers.
Language:C++11 5 55

aniemetz's Repositories

aniemetz/qbfdd
A delta debugger for QBF benchmarks in QDIMACS format
Language:Python2 0 00
aniemetz/cadical
CaDiCaL SAT Solver
Language:C++0 0 00
aniemetz/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT0 2 01
aniemetz/cvc5_pythonic_api
A Z3Py-compatible interface to cvc5
Language:Python0 0 00
aniemetz/old-smtcomp-web
Language:C0 1 00
aniemetz/symfpu
A (concrete or symbolic) implementation of IEEE-754 / SMT-LIB floating-point
Language:C++0 0 00
aniemetz/ShonanArtOfSAT
Schedule for ArtOfSAT
0 0
aniemetz/smt-comp.github.io
Language:HTML0 0
aniemetz/yices2
The Yices SMT Solver
Language:SMT0 0
aniemetz/z3pp
Language:C++0 0