id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
36	Flag to control simplify	zirkel	ywei	We want a command line flag to turn simplify (through CVC3) on and off.	defect	closed	major		multiple	1.0	fixed	command line, flag, option, simplify