kfriedberger

@msg-systems (Munich/Ismaning), @sosy-lab (LMU Munich),Bavaria, Germany

Pinned Repositories

cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1.1k 36 2.6k237
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT0 0 00
fse20
artifacts track, fse20
0 0 00
google-java-format
Reformats Java source code to comply with Google Java Style.
Language:Java0 0 00
java-smt
JavaSMT - Unified Java API for SMT solvers.
Language:Java0 0 00
SAT_SMT_by_example
SAT/SMT by example
Language:TeX0 1 00
smtinterpol
SMTInterpol interpolating SMT solver
Language:Java0 0 00
unix-under-windows
Unix Environment under Windows
0 0 00
benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python240 15 388203
z3
The Z3 Theorem Prover
Language:C++10.5k 182 5.6k1.5k

kfriedberger's Repositories

kfriedberger/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT0 0 00
kfriedberger/fse20
artifacts track, fse20
0 0 00
kfriedberger/google-java-format
Reformats Java source code to comply with Google Java Style.
Language:Java0 0 00
kfriedberger/java-smt
JavaSMT - Unified Java API for SMT solvers.
Language:Java0 0 00
kfriedberger/SAT_SMT_by_example
SAT/SMT by example
Language:TeX0 1 00
kfriedberger/smtinterpol
SMTInterpol interpolating SMT solver
Language:Java0 0 00
kfriedberger/unix-under-windows
Unix Environment under Windows
0 0 00