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	2246	log plain
-rw-r--r--	card-2.smt2	237	log plain
-rw-r--r--	card-3.smt2	319	log plain
-rw-r--r--	card-4.smt2	590	log plain
-rw-r--r--	card-5.smt2	628	log plain
-rw-r--r--	card-6.smt2	299	log plain
-rw-r--r--	card-7.smt2	1243	log plain
-rw-r--r--	card.smt2	193	log plain
-rw-r--r--	copy_check_heap_access_33_4.smt2	4899	log plain
-rw-r--r--	cvc-sample.cvc	963	log plain
-rw-r--r--	emptyset.smt2	108	log plain
-rw-r--r--	eqtest.smt2	536	log plain
-rw-r--r--	error1.smt2	273	log plain
-rw-r--r--	error2.smt2	117	log plain
d---------	feb3	59	log plain
-rw-r--r--	fuzz14418.smt2	5228	log plain
-rw-r--r--	fuzz15201.smt2	8203	log plain
-rw-r--r--	fuzz31811.smt2	5969	log plain
-rw-r--r--	insert.smt2	176	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	5450	log plain
d---------	rels	2162	log plain
-rw-r--r--	setel-eq.smt2	244	log plain
-rw-r--r--	setofsets-disequal.smt2	3120	log plain
-rw-r--r--	sets-disequal.smt2	480	log plain
-rw-r--r--	sets-equal.smt2	329	log plain
-rw-r--r--	sets-inter.smt2	281	log plain
-rw-r--r--	sets-new.smt2	370	log plain
-rw-r--r--	sets-sample.smt2	1599	log plain
-rw-r--r--	sets-sharing.smt2	191	log plain
-rw-r--r--	sets-testlemma-ints.smt2	153	log plain
-rw-r--r--	sets-testlemma-reals.smt2	155	log plain
-rw-r--r--	sets-testlemma.smt2	170	log plain
-rw-r--r--	sets-union.smt2	333	log plain
-rw-r--r--	sharingbug.smt2	4583	log plain
-rw-r--r--	union-1a-flip.smt2	334	log plain
-rw-r--r--	union-1a.smt2	334	log plain
-rw-r--r--	union-1b-flip.smt2	334	log plain
-rw-r--r--	union-1b.smt2	334	log plain
-rw-r--r--	union-2.smt2	301	log plain