hansjoergschurr

Pinned Repositories

alfc
Prototype type checker for AletheLF
Language:C++0 0 00
carcara
Language:Rust0 0 00
CLC-UIowa.github.io
Language:HTML00
CollaborativeBookshelf
A colloborative bookshelf.
Language:Python0 3 00
cvc5
cvc5 is an open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT0 1 00
cvc5.github.io
Language:JavaScript0 0 00
dotrace
A simple tracing tool for C code using the 'instrument-functions' feature of GCC. (Mirror of https://gitlab.inria.fr/hschurr/dotrace)
Language:Python0 2 00
QBFToys
Tools to convert QBF and DQBF problems into higher order problems in TPTP THF format.
Language:Haskell0 6 01
smt-comp.github.io
Language:HTML0 0 00
benchmark-submission
Repository for the submission of SMT-LIB benchmarks for the 2024 release.
Language:SMT0 7 513

hansjoergschurr's Repositories

hansjoergschurr/alfc
Prototype type checker for AletheLF
Language:C++0 0 00
hansjoergschurr/carcara
Language:Rust0 0 00
hansjoergschurr/CollaborativeBookshelf
A colloborative bookshelf.
Language:Python0 3 00
hansjoergschurr/cvc5
cvc5 is an open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT0 1 00
hansjoergschurr/cvc5.github.io
Language:JavaScript0 0 00
hansjoergschurr/dotrace
A simple tracing tool for C code using the 'instrument-functions' feature of GCC. (Mirror of https://gitlab.inria.fr/hschurr/dotrace)
Language:Python0 2 00
hansjoergschurr/QBFToys
Tools to convert QBF and DQBF problems into higher order problems in TPTP THF format.
Language:Haskell0 6 01
hansjoergschurr/smt-comp.github.io
Language:HTML0 0 00