Pinned Repositories
CoDatatypeDP
Decision procedure for co-datatypes
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
cvc5-test-util
Utilities for testing cvc5
cvc5.github.io
cvc5 website
docs
The SyGuS language standard
eldarica-misc
Collection of LIA benchmarks from various sources
LFSC
LFSC Proof Checker
rexec_cvc4
Remote Exec CVC4
StarexecUtilCVC4
Utilities for using CVC4 on StarExec
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
ajreynol's Repositories
ajreynol/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
ajreynol/CoDatatypeDP
Decision procedure for co-datatypes
ajreynol/cvc5-test-util
Utilities for testing cvc5
ajreynol/cvc5.github.io
cvc5 website
ajreynol/docs
The SyGuS language standard
ajreynol/eldarica-misc
Collection of LIA benchmarks from various sources
ajreynol/FiniteRecFun
FiniteRecFun
ajreynol/LFSC
LFSC Proof Checker
ajreynol/rexec_cvc4
Remote Exec CVC4
ajreynol/StarexecUtilCVC4
Utilities for using CVC4 on StarExec
ajreynol/Vampire2016
invited paper