id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
87	send report of API problems to cvc3	Stephen Siegel	ywei	Write up a report on any problems with the JNI (Java) interface for CVC3, such as missing methods for determining whether an expression is an array-read or array-write expression.   Send this report to cvc-bugs@cs.nyu.edu.  	task	closed	major		Administration		fixed	cvc3, bug, JNI, interface, array