id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
199	CVC3 prover does not handle MODULO	Stephen Siegel	ywei	Need to add handler for MODULO is the prover.	defect	closed	major	Release 1.0	prove	1.0	fixed