lonsing Goto Github PK

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.

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.

demiurge

Mirror of https://www.iaik.tugraz.at/content/research/opensource/demiurge/

depqbf

DepQBF, a solver for quantified boolean formulae (QBF).

dqbdd

BDD based DQBF solver

generic-sqed-demo

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

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

oh

Silicon proven Verilog library for IC and FPGA designers

pono

Next generation cosa.

qbfrelay

A shell script to coordinate QBF preprocessors

qbftoys

Tools to convert QBF and DQBF problems into higher order problems in TPTP THF format.

qratpreplus

QRATPre+, a preprocessor for quantified Boolean formulas.

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

sqed_sss

website

SAT Live! web site