id	Summary	Status	Owner	Type	Milestone	Priority
88	compile set of CVC3 problems we want solved	new		task		minor
154	create package-level javadocs	accepted	Stephen Siegel	task		minor
232	checkSat	new		enhancement	Release 1.0	minor
269	move newCollectiveAssertion to ModelFactory	new		enhancement	1.1	minor
332	VariableReferenceNode names aren't getting set	new	stachnik	defect		minor