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	1178	log plain
-rw-r--r--	atom_univ2.cvc	444	log plain
-rw-r--r--	card_transpose.cvc	154	log plain
-rw-r--r--	iden_0.cvc	467	log plain
-rw-r--r--	iden_1.cvc	356	log plain
-rw-r--r--	join-eq-u-sat.cvc	402	log plain
-rw-r--r--	join-eq-u.cvc	404	log plain
-rw-r--r--	joinImg_0.cvc	576	log plain
-rw-r--r--	oneLoc_no_quant-int_0_1.cvc	392	log plain
-rw-r--r--	rel_1tup_0.cvc	351	log plain
-rw-r--r--	rel_complex_0.cvc	403	log plain
-rw-r--r--	rel_complex_1.cvc	554	log plain
-rw-r--r--	rel_conflict_0.cvc	186	log plain
-rw-r--r--	rel_join_0.cvc	392	log plain
-rw-r--r--	rel_join_0_1.cvc	469	log plain
-rw-r--r--	rel_join_1.cvc	524	log plain
-rw-r--r--	rel_join_1_1.cvc	512	log plain
-rw-r--r--	rel_join_2.cvc	328	log plain
-rw-r--r--	rel_join_2_1.cvc	320	log plain
-rw-r--r--	rel_join_3.cvc	498	log plain
-rw-r--r--	rel_join_3_1.cvc	490	log plain
-rw-r--r--	rel_join_4.cvc	526	log plain
-rw-r--r--	rel_join_5.cvc	382	log plain
-rw-r--r--	rel_join_6.cvc	242	log plain
-rw-r--r--	rel_join_7.cvc	432	log plain
-rw-r--r--	rel_product_0.cvc	357	log plain
-rw-r--r--	rel_product_0_1.cvc	349	log plain
-rw-r--r--	rel_product_1.cvc	379	log plain
-rw-r--r--	rel_product_1_1.cvc	360	log plain
-rw-r--r--	rel_symbolic_1.cvc	335	log plain
-rw-r--r--	rel_symbolic_1_1.cvc	289	log plain
-rw-r--r--	rel_symbolic_2_1.cvc	311	log plain
-rw-r--r--	rel_symbolic_3_1.cvc	316	log plain
-rw-r--r--	rel_tc_11.cvc	413	log plain
-rw-r--r--	rel_tc_2_1.cvc	481	log plain
-rw-r--r--	rel_tc_3.cvc	439	log plain
-rw-r--r--	rel_tc_3_1.cvc	288	log plain
-rw-r--r--	rel_tc_7.cvc	231	log plain
-rw-r--r--	rel_tc_8.cvc	193	log plain
-rw-r--r--	rel_tp_3_1.cvc	274	log plain
-rw-r--r--	rel_tp_join_0.cvc	538	log plain
-rw-r--r--	rel_tp_join_1.cvc	491	log plain
-rw-r--r--	rel_tp_join_2.cvc	394	log plain
-rw-r--r--	rel_tp_join_3.cvc	586	log plain
-rw-r--r--	rel_tp_join_eq_0.cvc	421	log plain
-rw-r--r--	rel_tp_join_int_0.cvc	386	log plain
-rw-r--r--	rel_tp_join_pro_0.cvc	437	log plain
-rw-r--r--	rel_tp_join_var_0.cvc	441	log plain
-rw-r--r--	rel_transpose_0.cvc	283	log plain
-rw-r--r--	rel_transpose_1.cvc	249	log plain
-rw-r--r--	rel_transpose_1_1.cvc	275	log plain
-rw-r--r--	rel_transpose_3.cvc	263	log plain
-rw-r--r--	rel_transpose_4.cvc	219	log plain
-rw-r--r--	rel_transpose_5.cvc	348	log plain
-rw-r--r--	rel_transpose_6.cvc	388	log plain
-rw-r--r--	rel_transpose_7.cvc	185	log plain
-rw-r--r--	relations-ops.smt2	858	log plain
-rw-r--r--	rels-sharing-simp.cvc	227	log plain