boolean « push-pop « 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	156	log plain
-rw-r--r--	Makefile.am	1790	log plain
-rw-r--r--	fuzz_1.smt2	6728	log plain
-rw-r--r--	fuzz_10.smt2	11107	log plain
-rw-r--r--	fuzz_11.smt2	11988	log plain
-rw-r--r--	fuzz_12.smt2	3438	log plain
-rw-r--r--	fuzz_13.smt2	2543	log plain
-rw-r--r--	fuzz_14.smt2	3074	log plain
-rw-r--r--	fuzz_15.smt2	6387	log plain
-rw-r--r--	fuzz_16.smt2	13876	log plain
-rw-r--r--	fuzz_18.smt2	3208	log plain
-rw-r--r--	fuzz_19.smt2	6031	log plain
-rw-r--r--	fuzz_1_to_52_merged.smt2	302888	log plain
-rw-r--r--	fuzz_2.smt2	3650	log plain
-rw-r--r--	fuzz_20.smt2	5638	log plain
-rw-r--r--	fuzz_21.smt2	929	log plain
-rw-r--r--	fuzz_22.smt2	2418	log plain
-rw-r--r--	fuzz_23.smt2	6217	log plain
-rw-r--r--	fuzz_24.smt2	4391	log plain
-rw-r--r--	fuzz_25.smt2	10072	log plain
-rw-r--r--	fuzz_26.smt2	5283	log plain
-rw-r--r--	fuzz_27.smt2	2877	log plain
-rw-r--r--	fuzz_28.smt2	11123	log plain
-rw-r--r--	fuzz_29.smt2	10081	log plain
-rw-r--r--	fuzz_3.smt2	2848	log plain
-rw-r--r--	fuzz_30.smt2	11695	log plain
-rw-r--r--	fuzz_31.smt2	2963	log plain
-rw-r--r--	fuzz_32.smt2	8242	log plain
-rw-r--r--	fuzz_33.smt2	1087	log plain
-rw-r--r--	fuzz_34.smt2	4860	log plain
-rw-r--r--	fuzz_35.smt2	9490	log plain
-rw-r--r--	fuzz_36.smt2	2935	log plain
-rw-r--r--	fuzz_37.smt2	8176	log plain
-rw-r--r--	fuzz_38.smt2	2189	log plain
-rw-r--r--	fuzz_39.smt2	18986	log plain
-rw-r--r--	fuzz_4.smt2	8411	log plain
-rw-r--r--	fuzz_40.smt2	4974	log plain
-rw-r--r--	fuzz_41.smt2	5818	log plain
-rw-r--r--	fuzz_42.smt2	4547	log plain
-rw-r--r--	fuzz_43.smt2	7797	log plain
-rw-r--r--	fuzz_44.smt2	5821	log plain
-rw-r--r--	fuzz_45.smt2	6878	log plain
-rw-r--r--	fuzz_46.smt2	3070	log plain
-rw-r--r--	fuzz_47.smt2	3959	log plain
-rw-r--r--	fuzz_48.smt2	3001	log plain
-rw-r--r--	fuzz_49.smt2	2587	log plain
-rw-r--r--	fuzz_5.smt2	9333	log plain
-rw-r--r--	fuzz_50.smt2	1067	log plain
-rw-r--r--	fuzz_51.smt2	7832	log plain
-rw-r--r--	fuzz_52.smt2	5684	log plain
-rw-r--r--	fuzz_6.smt2	3965	log plain
-rw-r--r--	fuzz_7.smt2	5090	log plain
-rw-r--r--	fuzz_8.smt2	5165	log plain
-rw-r--r--	fuzz_9.smt2	4534	log plain