lonsing

Pinned Repositories

blocksqbf
A generator for random QBFs in QDIMACS format
Language:C00
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMT0 1 00
btor2tools
A generic parser and tool package for the BTOR2 format.
Language:C00
depqbf
DepQBF, a solver for quantified boolean formulae (QBF).
Language:C31 6 1411
minisat
A minimalistic and high-performance SAT solver
Language:C++10
nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
Language:C++1 1 00
nenofex
Nenofex, an expansion-based QBF solver for negation normal form
Language:C2 2 00
pono
Next generation cosa.
Language:C++00
qbfrelay
A shell script to coordinate QBF preprocessors
Language:Shell20
qratpreplus
QRATPre+, a preprocessor for quantified Boolean formulas.
Language:C4 3 00

lonsing's Repositories

lonsing/depqbf
DepQBF, a solver for quantified boolean formulae (QBF).
Language:C31 6 1411
lonsing/qratpreplus
QRATPre+, a preprocessor for quantified Boolean formulas.
Language:C4 3 00
lonsing/nenofex
Nenofex, an expansion-based QBF solver for negation normal form
Language:C2 2 00
lonsing/qbfrelay
A shell script to coordinate QBF preprocessors
Language:Shell20
lonsing/minisat
A minimalistic and high-performance SAT solver
Language:C++10
lonsing/nanoqbf
A minimal implementation of an expansion-based QBF solver which does not use recursion.
Language:C++1 1 00
lonsing/blocksqbf
A generator for random QBFs in QDIMACS format
Language:C00
lonsing/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
Language:SMT0 1 00
lonsing/btor2tools
A generic parser and tool package for the BTOR2 format.
Language:C00
lonsing/pono
Next generation cosa.
Language:C++00
lonsing/btor2verilog
Hacked together program to convert btor2 files to Verilog.
1
lonsing/case-studies
Case studies
Language:Verilog
lonsing/CoSA
CoreIR Symbolic Analyzer
Language:Python2 0
lonsing/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT
lonsing/demiurge
Mirror of https://www.iaik.tugraz.at/content/research/opensource/demiurge/
Language:HTML1 0
lonsing/DQBDD
BDD based DQBF solver
lonsing/generic-sqed-demo
Language:Verilog1 0
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.
1
lonsing/lingeling
Lingeling SAT Solver
lonsing/oh
Silicon proven Verilog library for IC and FPGA designers
Language:Verilog
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
Language:Verilog
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.
Language:C++
lonsing/sqed-generator
Python-based workflow to generate QED modules from ISA/architecture specifications
1
lonsing/sqed_sss
1
lonsing/website
SAT Live! web site
Language:HTML2 0