Giters
Andrew Reynolds (ajreynol)

ajreynol

Geek Repo

18

followers

0

following

1

stars

Company:University of Iowa

Location:Iowa City, Iowa

Home Page:http://homepage.cs.uiowa.edu/~ajreynol/

Github PK Tool:Github PK Tool

Organizations
CVC4
cvc5

Andrew Reynolds's repositories

CVC4

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Language:SMTLicense:NOASSERTIONStargazers:1Issues:0Issues:0

CoDatatypeDP

Decision procedure for co-datatypes

Language:TeXStargazers:0Issues:0Issues:0

cvc5-test-util

Utilities for testing cvc5

Language:SlashStargazers:0Issues:0Issues:0

docs

The SyGuS language standard

Language:TeXStargazers:0Issues:1Issues:0

eldarica-misc

Collection of LIA benchmarks from various sources

Language:SMTStargazers:0Issues:2Issues:0

FiniteRecFun

FiniteRecFun

Language:TeXStargazers:0Issues:0Issues:0

LFSC

LFSC Proof Checker

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

rexec_cvc4

Remote Exec CVC4

Language:ShellStargazers:0Issues:0Issues:0

StarexecUtilCVC4

Utilities for using CVC4 on StarExec

Language:ShellStargazers:0Issues:0Issues:0

cvc5.github.io

cvc5 website

Language:JavaScriptStargazers:0Issues:0Issues:0

Vampire2016

invited paper

Language:TeXStargazers:0Issues:0Issues:0