How to write a theory in CVC4

From CVC4
Revision as of 05:58, 16 February 2012 by Mdeters (Talk | contribs) (→‎How to add a theory in CVC4)

Jump to: navigation, search

The old instructions can be found here.

This page is under construction.

This page is intended as a reference guide. Tutorials will be added later...

Infrastructure

new-theory script...

Theory class

Liana, please add content here..

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=How_to_write_a_theory_in_CVC4&oldid=2666"