Pinned Repositories
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.
depqbf
DepQBF, a solver for quantified boolean formulae (QBF).
minisat
A minimalistic and high-performance SAT solver
nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
nenofex
Nenofex, an expansion-based QBF solver for negation normal form
pono
Next generation cosa.
qbfrelay
A shell script to coordinate QBF preprocessors
qratpreplus
QRATPre+, a preprocessor for quantified Boolean formulas.
lonsing's Repositories
lonsing/depqbf
DepQBF, a solver for quantified boolean formulae (QBF).
lonsing/qratpreplus
QRATPre+, a preprocessor for quantified Boolean formulas.
lonsing/nenofex
Nenofex, an expansion-based QBF solver for negation normal form
lonsing/qbfrelay
A shell script to coordinate QBF preprocessors
lonsing/minisat
A minimalistic and high-performance SAT solver
lonsing/nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
lonsing/blocksqbf
A generator for random QBFs in QDIMACS format
lonsing/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
lonsing/btor2tools
A generic parser and tool package for the BTOR2 format.
lonsing/pono
Next generation cosa.
lonsing/btor2verilog
Hacked together program to convert btor2 files to Verilog.
lonsing/case-studies
Case studies
lonsing/CoSA
CoreIR Symbolic Analyzer
lonsing/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
lonsing/demiurge
Mirror of https://www.iaik.tugraz.at/content/research/opensource/demiurge/
lonsing/DQBDD
BDD based DQBF solver
lonsing/generic-sqed-demo
lonsing/gperftools
Main gperftools repository
lonsing/IC3ref
IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
lonsing/lingeling
Lingeling SAT Solver
lonsing/oh
Silicon proven Verilog library for IC and FPGA designers
lonsing/QBFToys
Tools to convert QBF and DQBF problems into higher order problems in TPTP THF format.
lonsing/ridecore-si-checking
Single instruction checking for RIDECORE
lonsing/satch
SAT Solver SATCH
lonsing/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
lonsing/sqed-generator
Python-based workflow to generate QED modules from ISA/architecture specifications
lonsing/sqed_sss
lonsing/website
SAT Live! web site