CVC4 is copyright (C) 2009 the ACSys research group at the Courant
Institute for Mathematical Sciences, New York University.
All rights reserved.
This is a prerelease version; distribution is restricted.
-- Morgan Deters <mdeters@cs.nyu.edu> Mon, 02 Nov 2009 17:54:27 -0500
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback