uflia « regress0 « regress « test - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Mode	Name	Size
-rw-r--r--	Makefile	142	log plain
-rw-r--r--	Makefile.am	1415	log plain
-rw-r--r--	diseqprop.01.smt	310	log plain
-rw-r--r--	diseqprop.02.smt	311	log plain
-rw-r--r--	diseqprop.03.smt	311	log plain
-rw-r--r--	diseqprop.04.smt	311	log plain
-rw-r--r--	diseqprop.05.smt	324	log plain
-rw-r--r--	diseqprop.06.smt	325	log plain
-rw-r--r--	error0.delta01.smt	1985	log plain
-rw-r--r--	error0.smt2	360930	log plain
-rw-r--r--	error1.smt	22423	log plain
-rw-r--r--	error30.smt	4288	log plain
-rw-r--r--	javafe.ast.StandardPrettyPrint.319_no_forall.smt2	116428	log plain
-rw-r--r--	javafe.ast.WhileStmt.447_no_forall.smt2	83181	log plain
-rw-r--r--	simple_cyclic2.smt2	23789	log plain
-rw-r--r--	simplify.javafe.ast.ArrayInit.35_without_quantification2.smt2	84910	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta01.smt	1143	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta02.smt	980	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta03.smt	1107	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta04.smt	1752	log plain
-rw-r--r--	xs-09-16-3-4-1-5.delta05.smt	383	log plain
-rw-r--r--	xs-09-16-3-4-1-5.smt	6759	log plain