id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
232	checkSat	Stephen Siegel		CVC3 has some methods which we are not using but probably should: checkSat.	enhancement	new	minor	Release 1.0	multiple	1.0		prover, CVC3, satisfiable