id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
124	improve performance of validity checking and other symbolic operations	Stephen Siegel	Stephen Siegel	"Many of the queries that eventually get passed to CVC3 could be answered quickly directly in the dynamic package.  For example many of them are just ""true"" or ""X=X"".   The dynamic package could try to answer these and only pass them down to the symbolic package if it can't.

Likewise, many of the operations (such as any operation on concrete values) can be completed directly in the dynamic package."	enhancement	closed	minor		value	1.0	fixed	performance valid validity symbolic