id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
89	send email to cvc3-users on non-linear accuracy example	Stephen Siegel	zirkel	"We have an example of a problem that we feel should not be hard for CVC3 to solve, but CVC3 cannot solve it because the non-linear theory is incomplete.    Tim has emailed it to Clark earlier.   Cesare told us we should also send it to the cvc-users email list:

http://www.cs.nyu.edu/mailman/listinfo/cvc-users

It is not a bug, but we should point out that this is an example of the kind of thing we would like CVC3 to be able to solve.

"	task	closed	major		Administration		fixed	cvc3, non-linear, accuracy