Difference between revisions of "How to write a theory in CVC4"
From CVC4
| Line 1: | Line 1: | ||
| − | = How to add a theory = | + | =How to add a theory in CVC4= |
[[How to write a theory in CVC4 (old instructions)|The old instructions can be found here.]] | [[How to write a theory in CVC4 (old instructions)|The old instructions can be found here.]] | ||
| Line 6: | Line 6: | ||
This page is intended as a reference guide. Tutorials will be added later... | This page is intended as a reference guide. Tutorials will be added later... | ||
| + | |||
| + | =Infrastructure= | ||
| + | |||
| + | new-theory script... | ||
| + | |||
| + | =Theory class= | ||
| + | |||
| + | ''Liana, please add content here..'' | ||
Revision as of 15:36, 10 February 2012
How to add a theory in CVC4
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..
