casc « competitions « contrib - cvc5.git - CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Mode	Name	Size
-rwxr-xr-x	run-script-casc24-fnt	1432	log plain
-rwxr-xr-x	run-script-casc24-fnt-no-models	1403	log plain
-rwxr-xr-x	run-script-casc24-fof	1395	log plain
-rwxr-xr-x	run-script-casc25-fnt	1539	log plain
-rwxr-xr-x	run-script-casc25-fof	2097	log plain
-rwxr-xr-x	run-script-casc25-tfa	1635	log plain
-rwxr-xr-x	run-script-casc25-tfn	1182	log plain
-rw-r--r--	run-script-casc26-fnt	1400	log plain
-rw-r--r--	run-script-casc26-fof	2000	log plain
-rw-r--r--	run-script-casc26-tfa	1444	log plain
-rwxr-xr-x	run-script-casc27-fnt	1214	log plain
-rwxr-xr-x	run-script-casc27-fof	2052	log plain
-rwxr-xr-x	run-script-casc27-tfa	1448	log plain
-rw-r--r--	run-script-casc27-tfn-nr	1407	log plain
-rwxr-xr-x	run-script-casc27-thf	1764	log plain
-rw-r--r--	run-script-casc27-thf-sat-nr	1201	log plain
-rwxr-xr-x	run-script-cascj7-fnt	1479	log plain
-rwxr-xr-x	run-script-cascj7-fof	1393	log plain
-rwxr-xr-x	run-script-cascj7-tff	1205	log plain
-rwxr-xr-x	run-script-cascj8-fnt	1372	log plain
-rwxr-xr-x	run-script-cascj8-fof	1929	log plain
-rwxr-xr-x	run-script-cascj8-tfa	1491	log plain
-rwxr-xr-x	run-script-cascj8-tfn	1297	log plain
-rwxr-xr-x	run-script-cascj9-fnt	1214	log plain
-rwxr-xr-x	run-script-cascj9-fof	2052	log plain
-rwxr-xr-x	run-script-cascj9-tfa	1450	log plain
-rw-r--r--	run-script-cascj9-tfn-nr	1407	log plain