Difference between revisions of "How to write a theory in CVC4"
From CVC4
(→How to add a theory in CVC4) |
|||
| Line 1: | Line 1: | ||
| − | |||
| − | |||
[[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.]] | ||
Revision as of 06:58, 16 February 2012
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..
