Context Navigation

Custom Query (1 match)

Filters

	Keywords
	Status	accepted assigned closed new reopened
And		Or

Group results by descending

Show under each result: Description

Max items per page


Ticket	Summary	Status	Keywords	Owner	Type	Priority
#88	compile set of CVC3 problems we want solved	new	smt-lib, examples, non-linear		task	minor

Note: See TracQuery for help on using queries.