ffrohn

Pinned Repositories

acceleration
00
acceleration-calculus
0 3 00
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT00
ffrohn.github.io
Language:JavaScript0 2 01
latexbreak
tool to automatically break lines in LaTeX documents
Language:Java0 1 12
latexrun
A 21st century LaTeX wrapper
Language:Python0 2 00
loat-tool-paper-evaluation
0 2 00
piraten_map_server
Language:PHP10
qepcad
Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
Language:C00
QF_EIA
benchmarks for SMT modulo exponential integer arithmetic
Language:SMT00

ffrohn's Repositories

ffrohn/piraten_map_server
Language:PHP10
ffrohn/acceleration
00
ffrohn/acceleration-calculus
0 3 00
ffrohn/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT00
ffrohn/ffrohn.github.io
Language:JavaScript0 2 01
ffrohn/latexbreak
tool to automatically break lines in LaTeX documents
Language:Java0 1 12
ffrohn/latexrun
A 21st century LaTeX wrapper
Language:Python0 2 00
ffrohn/loat-tool-paper-evaluation
0 2 00
ffrohn/qepcad
Quantifier Elimination by Partial Cylindrical Algebraic Decomposition
Language:C00
ffrohn/QF_EIA
benchmarks for SMT modulo exponential integer arithmetic
Language:SMT00
ffrohn/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
ffrohn/star-exec-presenter
presentation platform for star-exec written in Haskell and based upon Yesod
Language:Haskell
ffrohn/starexec-master
Language:PHP
ffrohn/swine
Language:C++
ffrohn/swine-z3
Language:C++1 0
ffrohn/thesis-evaluation
2 0