id	Summary	Status	Keywords	Owner	Type	Priority
275	modify arrays in examples to use new #define input feature	new	examples arrays extent	bperry	defect	major
88	compile set of CVC3 problems we want solved	new	smt-lib, examples, non-linear		task	minor