rels « regress1 « 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--	addr_book_1.cvc	952	log plain
-rw-r--r--	addr_book_1_1.cvc	946	log plain
-rw-r--r--	bv1-unit.cvc	401	log plain
-rw-r--r--	bv1-unitb.cvc	436	log plain
-rw-r--r--	bv1.cvc	357	log plain
-rw-r--r--	bv1p-sat.cvc	370	log plain
-rw-r--r--	bv1p.cvc	545	log plain
-rw-r--r--	bv2.cvc	355	log plain
-rw-r--r--	garbage_collect.cvc	1881	log plain
-rw-r--r--	iden_1_1.cvc	448	log plain
-rw-r--r--	join-eq-structure-and.cvc	487	log plain
-rw-r--r--	join-eq-structure.cvc	484	log plain
-rw-r--r--	joinImg_0_1.cvc	574	log plain
-rw-r--r--	joinImg_0_2.cvc	648	log plain
-rw-r--r--	joinImg_1.cvc	323	log plain
-rw-r--r--	joinImg_1_1.cvc	357	log plain
-rw-r--r--	joinImg_2.cvc	569	log plain
-rw-r--r--	joinImg_2_1.cvc	452	log plain
-rw-r--r--	prod-mod-eq.cvc	519	log plain
-rw-r--r--	prod-mod-eq2.cvc	521	log plain
-rw-r--r--	rel_complex_3.cvc	556	log plain
-rw-r--r--	rel_complex_4.cvc	622	log plain
-rw-r--r--	rel_complex_5.cvc	683	log plain
-rw-r--r--	rel_mix_0_1.cvc	452	log plain
-rw-r--r--	rel_pressure_0.cvc	11652	log plain
-rw-r--r--	rel_tc_10_1.cvc	290	log plain
-rw-r--r--	rel_tc_4.cvc	332	log plain
-rw-r--r--	rel_tc_4_1.cvc	198	log plain
-rw-r--r--	rel_tc_5_1.cvc	178	log plain
-rw-r--r--	rel_tc_6.cvc	180	log plain
-rw-r--r--	rel_tc_9_1.cvc	466	log plain
-rw-r--r--	rel_tp_2.cvc	244	log plain
-rw-r--r--	rel_tp_join_2_1.cvc	374	log plain
-rw-r--r--	set-strat.cvc	443	log plain
-rw-r--r--	strat.cvc	412	log plain