Florian Lonsing's repositories
qratpreplus
QRATPre+, a preprocessor for quantified Boolean formulas.
blocksqbf
A generator for random QBFs in QDIMACS format
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
btor2tools
A generic parser and tool package for the BTOR2 format.
pono
Next generation cosa.
btor2verilog
Hacked together program to convert btor2 files to Verilog.
case-studies
Case studies
CoSA
CoreIR Symbolic Analyzer
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
DQBDD
BDD based DQBF solver
gperftools
Main gperftools repository
IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
lingeling
Lingeling SAT Solver
oh
Silicon proven Verilog library for IC and FPGA designers
QBFToys
Tools to convert QBF and DQBF problems into higher order problems in TPTP THF format.
ridecore-si-checking
Single instruction checking for RIDECORE
satch
SAT Solver SATCH
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
sqed-generator
Python-based workflow to generate QED modules from ISA/architecture specifications
website
SAT Live! web site