How to write a theory in CVC4

From CVC4

Revision as of 13:25, 10 February 2012 by Mdeters (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to: navigation, search

How to add a theory

The old instructions can be found here.

This page is under construction.

Retrieved from "http://cvc4.cs.stanford.edu/w/index.php?title=How_to_write_a_theory_in_CVC4&oldid=2638"

Navigation menu