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

Mode	Name	Size
-rw-r--r--	README	163	log plain
d---------	alttheoryskel	241	log plain
d---------	competitions	103	log plain
-rwxr-xr-x	cut-release	10158	log plain
-rw-r--r--	cvc-devel.el	5182	log plain
-rw-r--r--	cvc-mode.el	25000	log plain
-rw-r--r--	cvc4_strict_smtlib	324	log plain
-rwxr-xr-x	debug-keys	862	log plain
-rwxr-xr-x	depgraph	4192	log plain
-rwxr-xr-x	dimacs_to_smt.pl	749	log plain
-rwxr-xr-x	get-abc	1403	log plain
-rwxr-xr-x	get-antlr-3.4	3892	log plain
-rwxr-xr-x	get-authors	2292	log plain
-rwxr-xr-x	get-cadical	528	log plain
-rwxr-xr-x	get-cryptominisat	581	log plain
-rwxr-xr-x	get-drat2er	497	log plain
-rwxr-xr-x	get-glpk-cut-log	824	log plain
-rwxr-xr-x	get-gmp-dev	1717	log plain
-rwxr-xr-x	get-kissat	563	log plain
-rwxr-xr-x	get-lfsc-checker	438	log plain
-rw-r--r--	get-script-header.sh	2242	log plain
-rwxr-xr-x	get-symfpu	496	log plain
-rwxr-xr-x	get-win-dependencies	3679	log plain
-rw-r--r--	lfsc_lsan.supp	366	log plain
-rw-r--r--	luby.c	1796	log plain
-rwxr-xr-x	mk_starexec	346	log plain
-rwxr-xr-x	new-theory	7378	log plain
-rwxr-xr-x	new-theory.awk	236	log plain
d---------	optionsskel	44	log plain
-rwxr-xr-x	spellcheck	659	log plain
-rw-r--r--	sygus-v1-to-v2.sh	1766	log plain
-rwxr-xr-x	test_install_headers.sh	1288	log plain
d---------	theoryskel	260	log plain
-rwxr-xr-x	update-copyright.pl	8140	log plain