Difference between revisions of "How to write a theory in CVC4"
From CVC4
| Line 4: | Line 4: | ||
This page is under construction. | This page is under construction. | ||
| + | |||
| + | This page is intended as a reference guide. Tutorials will be added later... | ||
Revision as of 13:26, 10 February 2012
How to add a theory
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...
