ajreynol

University of IowaIowa City, Iowa

Pinned Repositories

CoDatatypeDP
Decision procedure for co-datatypes
Language:TeX00
CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT13
cvc5-test-util
Utilities for testing cvc5
Language:Slash00
cvc5.github.io
cvc5 website
Language:JavaScript00
docs
The SyGuS language standard
Language:TeX0 1 01
eldarica-misc
Collection of LIA benchmarks from various sources
Language:SMT0 2 00
LFSC
LFSC Proof Checker
Language:C++0 1 00
rexec_cvc4
Remote Exec CVC4
Language:Shell0 2 00
StarexecUtilCVC4
Utilities for using CVC4 on StarExec
Language:Shell0 2 00
cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1k 35 2.6k225

ajreynol's Repositories

ajreynol/CVC4
CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
Language:SMT13
ajreynol/CoDatatypeDP
Decision procedure for co-datatypes
Language:TeX00
ajreynol/cvc5-test-util
Utilities for testing cvc5
Language:Slash00
ajreynol/cvc5.github.io
cvc5 website
Language:JavaScript00
ajreynol/docs
The SyGuS language standard
Language:TeX0 1 01
ajreynol/eldarica-misc
Collection of LIA benchmarks from various sources
Language:SMT0 2 00
ajreynol/FiniteRecFun
FiniteRecFun
Language:TeX0 5 00
ajreynol/LFSC
LFSC Proof Checker
Language:C++0 1 00
ajreynol/rexec_cvc4
Remote Exec CVC4
Language:Shell0 2 00
ajreynol/StarexecUtilCVC4
Utilities for using CVC4 on StarExec
Language:Shell0 2 00
ajreynol/Vampire2016
invited paper
Language:TeX2 0