How to write a theory in CVC4 (old instructions)
From CVC4
Revision as of 12:23, 30 March 2011 by Lianah (Talk | contribs) (Created page with 'This document is meant as a guide to a theory writer. = CVC4 architecture = A high-level description of the flow of information in CVC4 (TheoryEngine, SMTEngine etc.) = Adding …')
This document is meant as a guide to a theory writer.
Contents
CVC4 architecture
A high-level description of the flow of information in CVC4 (TheoryEngine, SMTEngine etc.)
Adding a new theory
parser
todo
config and make
todo
types and kinds
todo
