sets « 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	141	log plain
-rw-r--r--	Makefile.am	2025	log plain
-rw-r--r--	copy_check_heap_access_33_4.smt2	4816	log plain
-rw-r--r--	emptyset.smt2	104	log plain
-rw-r--r--	eqtest.smt2	528	log plain
-rw-r--r--	error1.smt2	276	log plain
-rw-r--r--	error2.smt2	115	log plain
d---------	feb3	59	log plain
d---------	jan24	225	log plain
d---------	jan27	243	log plain
d---------	jan28	140	log plain
d---------	jan30	260	log plain
d---------	mar2014	378	log plain
-rw-r--r--	rec_copy_loop_check_heap_access_43_4.smt2	5421	log plain
-rw-r--r--	setel-eq.smt2	236	log plain
-rw-r--r--	sets-equal.smt2	317	log plain
-rw-r--r--	sets-inter.smt2	269	log plain
-rw-r--r--	sets-new.smt2	350	log plain
-rw-r--r--	sets-sample.smt2	1384	log plain
-rw-r--r--	sets-sharing.smt2	183	log plain
-rw-r--r--	sets-testlemma-ints.smt2	156	log plain
-rw-r--r--	sets-testlemma-reals.smt2	158	log plain
-rw-r--r--	sets-testlemma.smt2	173	log plain
-rw-r--r--	sets-union.smt2	321	log plain
-rw-r--r--	union-1a-flip.smt2	326	log plain
-rw-r--r--	union-1a.smt2	326	log plain
-rw-r--r--	union-1b-flip.smt2	326	log plain
-rw-r--r--	union-1b.smt2	326	log plain
-rw-r--r--	union-2.smt2	289	log plain