ffrohn's repositories
000
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMTNOASSERTION000
Language:JavaScript000
latexbreak
tool to automatically break lines in LaTeX documents
Language:Java000
latexrun
A 21st century LaTeX wrapper
Language:PythonMIT000
qepcad
Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
Language:C000
QF_EIA
benchmarks for SMT modulo exponential integer arithmetic
Language:SMTNOASSERTION000
smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
NOASSERTION000
star-exec-presenter
presentation platform for star-exec written in Haskell and based upon Yesod
Language:Haskell000
Language:PHP000
Language:C++NOASSERTION000
Language:C++MIT000