rels « 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--	addr_book_0.cvc	1168	log plain
-rw-r--r--	atom_univ2.cvc	434	log plain
-rw-r--r--	card_transpose.cvc	144	log plain
-rw-r--r--	iden_0.cvc	457	log plain
-rw-r--r--	iden_1.cvc	346	log plain
-rw-r--r--	join-eq-u-sat.cvc	392	log plain
-rw-r--r--	join-eq-u.cvc	394	log plain
-rw-r--r--	joinImg_0.cvc	566	log plain
-rw-r--r--	oneLoc_no_quant-int_0_1.cvc	392	log plain
-rw-r--r--	rel_1tup_0.cvc	341	log plain
-rw-r--r--	rel_complex_0.cvc	393	log plain
-rw-r--r--	rel_complex_1.cvc	544	log plain
-rw-r--r--	rel_conflict_0.cvc	176	log plain
-rw-r--r--	rel_join_0.cvc	382	log plain
-rw-r--r--	rel_join_0_1.cvc	459	log plain
-rw-r--r--	rel_join_1.cvc	514	log plain
-rw-r--r--	rel_join_1_1.cvc	502	log plain
-rw-r--r--	rel_join_2.cvc	318	log plain
-rw-r--r--	rel_join_2_1.cvc	310	log plain
-rw-r--r--	rel_join_3.cvc	488	log plain
-rw-r--r--	rel_join_3_1.cvc	480	log plain
-rw-r--r--	rel_join_4.cvc	516	log plain
-rw-r--r--	rel_join_5.cvc	371	log plain
-rw-r--r--	rel_join_6.cvc	232	log plain
-rw-r--r--	rel_join_7.cvc	422	log plain
-rw-r--r--	rel_product_0.cvc	347	log plain
-rw-r--r--	rel_product_0_1.cvc	339	log plain
-rw-r--r--	rel_product_1.cvc	369	log plain
-rw-r--r--	rel_product_1_1.cvc	350	log plain
-rw-r--r--	rel_symbolic_1.cvc	325	log plain
-rw-r--r--	rel_symbolic_1_1.cvc	279	log plain
-rw-r--r--	rel_symbolic_2_1.cvc	301	log plain
-rw-r--r--	rel_symbolic_3_1.cvc	306	log plain
-rw-r--r--	rel_tc_11.cvc	402	log plain
-rw-r--r--	rel_tc_2_1.cvc	471	log plain
-rw-r--r--	rel_tc_3.cvc	427	log plain
-rw-r--r--	rel_tc_3_1.cvc	277	log plain
-rw-r--r--	rel_tc_7.cvc	221	log plain
-rw-r--r--	rel_tc_8.cvc	182	log plain
-rw-r--r--	rel_tp_3_1.cvc	264	log plain
-rw-r--r--	rel_tp_join_0.cvc	527	log plain
-rw-r--r--	rel_tp_join_1.cvc	480	log plain
-rw-r--r--	rel_tp_join_2.cvc	382	log plain
-rw-r--r--	rel_tp_join_3.cvc	573	log plain
-rw-r--r--	rel_tp_join_eq_0.cvc	410	log plain
-rw-r--r--	rel_tp_join_int_0.cvc	376	log plain
-rw-r--r--	rel_tp_join_pro_0.cvc	425	log plain
-rw-r--r--	rel_tp_join_var_0.cvc	431	log plain
-rw-r--r--	rel_transpose_0.cvc	271	log plain
-rw-r--r--	rel_transpose_1.cvc	238	log plain
-rw-r--r--	rel_transpose_1_1.cvc	263	log plain
-rw-r--r--	rel_transpose_3.cvc	252	log plain
-rw-r--r--	rel_transpose_4.cvc	208	log plain
-rw-r--r--	rel_transpose_5.cvc	338	log plain
-rw-r--r--	rel_transpose_6.cvc	377	log plain
-rw-r--r--	rel_transpose_7.cvc	175	log plain
-rw-r--r--	relations-ops.smt2	858	log plain
-rw-r--r--	rels-sharing-simp.cvc	217	log plain