-
depqbf Public
DepQBF, a solver for quantified boolean formulae (QBF).
-
-
smt-switch Public
Forked from stanford-centaur/smt-switchA generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
C++ Other UpdatedOct 11, 2022 -
blocksqbf Public
A generator for random QBFs in QDIMACS format
-
-
-
-
btor2verilog Public
Forked from makaimann/btor2verilogHacked together program to convert btor2 files to Verilog.
-
sqed-generator Public
Forked from upscale-project/sqed-generatorPython-based workflow to generate QED modules from ISA/architecture specifications
-
gperftools Public
Forked from gperftools/gperftoolsMain gperftools repository
C++ BSD 3-Clause "New" or "Revised" License UpdatedNov 17, 2020 -
qratpreplus Public
QRATPre+, a preprocessor for quantified Boolean formulas.
-
lingeling Public
Forked from arminbiere/lingelingLingeling SAT Solver
C MIT License UpdatedJun 25, 2020 -
CVC4 is an efficient open-source automatic theorem prover for s FEFB atisfiability modulo theories (SMT) problems.
SMT Other UpdatedJun 22, 2020 -
boolector Public
Forked from Boolector/boolectorA Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
SMT Other UpdatedJun 20, 2020 -
btor2tools Public
Forked from hwmcc/btor2toolsA generic parser and tool package for the BTOR2 format.
C Other UpdatedJun 19, 2020 -
DQBDD Public
Forked from jurajsic/DQBDDBDD based DQBF solver
C GNU Lesser General Public License v3.0 UpdatedMay 17, 2020 -
-
CoSA Public
Forked from cristian-mattarei/CoSACoreIR Symbolic Analyzer
Python Other UpdatedAug 15, 2019 -
case-studies Public
Forked from upscale-project/case-studiesCase studies
Verilog UpdatedMay 17, 2019 -
ridecore-si-checking Public
Forked from upscale-project/ridecore-si-checkingSingle instruction checking for RIDECORE
Verilog UpdatedApr 24, 2019 -
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
-
qbfrelay Public
A shell script to coordinate QBF preprocessors
-
nanoqbf Public
Forked from vedadux/nanoqbfA minimal implementation of an expansion-based QBF solver which does not use recursion.
-
QBFToys Public
Forked from hansjoergschurr/QBFToysTools to convert QBF and DQBF problems into higher order problems in TPTP THF format.
Haskell UpdatedMay 11, 2018 -
demiurge Public
Forked from rrika/demiurgeMirror of https://www.iaik.tugraz.at/content/research/opensource/demiurge/
HTML GNU Lesser General Public License v3.0 UpdatedMar 22, 2018 -
oh Public
Forked from aolofsson/ohSilicon proven Verilog library for IC and FPGA designers
Verilog MIT License UpdatedFeb 5, 2018 -
nenofex Public
Nenofex, an expansion-based QBF solver for negation normal form
-
IC3ref Public
Forked from arbrad/IC3refIC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.
{{ message }}