Difference between revisions of "How to write a theory in CVC4"
From CVC4
| Line 1: | Line 1: | ||
| − | + | = How to add a theory = | |
| + | |||
| + | [[How to write a theory in CVC4 (old instructions)|The old instructions can be found here.]] | ||
| + | |||
| + | This page is under construction. | ||
Revision as of 14:25, 10 February 2012
How to add a theory
The old instructions can be found here.
This page is under construction.
