mdeters / cvc4 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from cvc5/cvc5
This is my personal (experimental) fork of CVC4. Caveat emptor. If you want the official CVC4 repo, check out CVC4/CVC4.
Home Page: http://cvc4.cs.nyu.edu/
License: Other