integers « arith « 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	154	log plain
-rw-r--r--	Makefile.am	2962	log plain
-rw-r--r--	arith-int-001.cvc	749	log plain
-rw-r--r--	arith-int-002.cvc	751	log plain
-rw-r--r--	arith-int-003.cvc	754	log plain
-rw-r--r--	arith-int-004.cvc	745	log plain
-rw-r--r--	arith-int-005.cvc	748	log plain
-rw-r--r--	arith-int-006.cvc	487	log plain
-rw-r--r--	arith-int-007.cvc	500	log plain
-rw-r--r--	arith-int-008.cvc	501	log plain
-rw-r--r--	arith-int-009.cvc	500	log plain
-rw-r--r--	arith-int-010.cvc	490	log plain
-rw-r--r--	arith-int-011.cvc	183	log plain
-rw-r--r--	arith-int-012.cvc	188	log plain
-rw-r--r--	arith-int-013.cvc	186	log plain
-rw-r--r--	arith-int-014.cvc	187	log plain
-rw-r--r--	arith-int-015.cvc	189	log plain
-rw-r--r--	arith-int-016.cvc	1116	log plain
-rw-r--r--	arith-int-017.cvc	1116	log plain
-rw-r--r--	arith-int-018.cvc	1131	log plain
-rw-r--r--	arith-int-019.cvc	1117	log plain
-rw-r--r--	arith-int-020.cvc	1114	log plain
-rw-r--r--	arith-int-021.cvc	124	log plain
-rw-r--r--	arith-int-022.cvc	125	log plain
-rw-r--r--	arith-int-023.cvc	124	log plain
-rw-r--r--	arith-int-024.cvc	122	log plain
-rw-r--r--	arith-int-025.cvc	124	log plain
-rw-r--r--	arith-int-026.cvc	1182	log plain
-rw-r--r--	arith-int-027.cvc	1186	log plain
-rw-r--r--	arith-int-028.cvc	1184	log plain
-rw-r--r--	arith-int-029.cvc	1189	log plain
-rw-r--r--	arith-int-030.cvc	1183	log plain
-rw-r--r--	arith-int-031.cvc	1072	log plain
-rw-r--r--	arith-int-032.cvc	1060	log plain
-rw-r--r--	arith-int-033.cvc	1054	log plain
-rw-r--r--	arith-int-034.cvc	1060	log plain
-rw-r--r--	arith-int-035.cvc	1053	log plain
-rw-r--r--	arith-int-036.cvc	873	log plain
-rw-r--r--	arith-int-037.cvc	880	log plain
-rw-r--r--	arith-int-038.cvc	867	log plain
-rw-r--r--	arith-int-039.cvc	870	log plain
-rw-r--r--	arith-int-040.cvc	877	log plain
-rw-r--r--	arith-int-041.cvc	438	log plain
-rw-r--r--	arith-int-042.cvc	435	log plain
-rw-r--r--	arith-int-042.min.cvc	85	log plain
-rw-r--r--	arith-int-043.cvc	435	log plain
-rw-r--r--	arith-int-044.cvc	474	log plain
-rw-r--r--	arith-int-045.cvc	430	log plain
-rw-r--r--	arith-int-046.cvc	249	log plain
-rw-r--r--	arith-int-047.cvc	250	log plain
-rw-r--r--	arith-int-048.cvc	248	log plain
-rw-r--r--	arith-int-049.cvc	253	log plain
-rw-r--r--	arith-int-050.cvc	248	log plain
-rw-r--r--	arith-int-051.cvc	622	log plain
-rw-r--r--	arith-int-052.cvc	621	log plain
-rw-r--r--	arith-int-053.cvc	613	log plain
-rw-r--r--	arith-int-054.cvc	621	log plain
-rw-r--r--	arith-int-055.cvc	623	log plain
-rw-r--r--	arith-int-056.cvc	820	log plain
-rw-r--r--	arith-int-057.cvc	813	log plain
-rw-r--r--	arith-int-058.cvc	822	log plain
-rw-r--r--	arith-int-059.cvc	818	log plain
-rw-r--r--	arith-int-060.cvc	809	log plain
-rw-r--r--	arith-int-061.cvc	1311	log plain
-rw-r--r--	arith-int-062.cvc	1314	log plain
-rw-r--r--	arith-int-063.cvc	1299	log plain
-rw-r--r--	arith-int-064.cvc	1317	log plain
-rw-r--r--	arith-int-065.cvc	1314	log plain
-rw-r--r--	arith-int-066.cvc	926	log plain
-rw-r--r--	arith-int-067.cvc	933	log plain
-rw-r--r--	arith-int-068.cvc	938	log plain
-rw-r--r--	arith-int-069.cvc	936	log plain
-rw-r--r--	arith-int-070.cvc	935	log plain
-rw-r--r--	arith-int-071.cvc	998	log plain
-rw-r--r--	arith-int-072.cvc	997	log plain
-rw-r--r--	arith-int-073.cvc	989	log plain
-rw-r--r--	arith-int-074.cvc	1006	log plain
-rw-r--r--	arith-int-075.cvc	994	log plain
-rw-r--r--	arith-int-076.cvc	568	log plain
-rw-r--r--	arith-int-077.cvc	555	log plain
-rw-r--r--	arith-int-078.cvc	557	log plain
-rw-r--r--	arith-int-079.cvc	553	log plain
-rw-r--r--	arith-int-080.cvc	563	log plain
-rw-r--r--	arith-int-081.cvc	311	log plain
-rw-r--r--	arith-int-082.cvc	309	log plain
-rw-r--r--	arith-int-083.cvc	313	log plain
-rw-r--r--	arith-int-084.cvc	313	log plain
-rw-r--r--	arith-int-085.cvc	332	log plain
-rw-r--r--	arith-int-086.cvc	680	log plain
-rw-r--r--	arith-int-087.cvc	686	log plain
-rw-r--r--	arith-int-088.cvc	683	log plain
-rw-r--r--	arith-int-089.cvc	685	log plain
-rw-r--r--	arith-int-090.cvc	693	log plain
-rw-r--r--	arith-int-091.cvc	1241	log plain
-rw-r--r--	arith-int-092.cvc	1245	log plain
-rw-r--r--	arith-int-093.cvc	1247	log plain
-rw-r--r--	arith-int-094.cvc	1257	log plain
-rw-r--r--	arith-int-095.cvc	1253	log plain
-rw-r--r--	arith-int-096.cvc	371	log plain
-rw-r--r--	arith-int-097.cvc	375	log plain
-rw-r--r--	arith-int-098.cvc	380	log plain
-rw-r--r--	arith-int-099.cvc	381	log plain
-rw-r--r--	arith-int-100.cvc	379	log plain
-rw-r--r--	arith-interval.cvc	115	log plain