summaryrefslogtreecommitdiff
path: root/NEWS
blob: 860c27633213346e685c80e5a4231d6ac4284003 (plain) 
1
2
3

This is a prerelease version of CVC4; 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