This file contains a summary of important user-visible changes.
This is the first public release, CVC4 1.0.
-- Morgan Deters <mdeters@cs.nyu.edu> Sat, 01 Dec 2012 12:53:23 -0500
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback