Beast code in Giters

Florian Lonsing's starred repositories

short-proof

A SAT-based tool to compute shortest resolution proofs.

Language:PythonGPL-3.0300

rrs

A tool to compute and analyze reflexive resolution-path dependencies of a QBF in the QDIMACS format.

Language:C++GPL-3.0100

miniQU

A QCDCL Solver based on MiniSAT

Language:C++NOASSERTION100

mergesat

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

Language:C++NOASSERTION4000

sv2v

SystemVerilog to Verilog conversion

Language:HaskellBSD-3-Clause51600

PyRes

Pedagogical first-order prover in Python

Language:PythonGPL-2.07000

gimsatul

Language:CMIT2900

smt-switch

A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.

Language:C++NOASSERTION10100

aiger

AIGER And-Inverter-Graph Library

Language:CNOASSERTION5500

satch

SAT Solver SATCH

Language:CMIT10100

amusic

AMUSIC: a tool for approximate counting of minimal unsatisfiable subsets of a given Boolean formula in CNF

Language:PythonMIT100

DQBDD

BDD based DQBF solver

Language:CLGPL-3.0700

lingeling

Lingeling SAT Solver

Language:CMIT9200

cadical

CaDiCaL SAT Solver

Language:C++MIT33600

kissat

Language:CMIT42300

verible

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

Language:C++NOASSERTION127900

depqbf

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

Language:CGPL-3.03100

nenofex

Nenofex, an expansion-based QBF solver for negation normal form

Language:CGPL-3.0200

minisat

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION100100