id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
88	compile set of CVC3 problems we want solved	Stephen Siegel		"Cesare is working with a group that is compiling a big collection of SMT problems that can be used as a standard test suite for different SMT tools, e.g., in competitions.   He wants us to add some examples from our nonlinear problems that come up in accuracy verification that CVC3 cannot currently solve.  They can be in the standard CVC3 input format, but without any ""TRANSFORM""s.   Then send these to Cesare."	task	new	minor		Administration			smt-lib, examples, non-linear