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	1529	log plain
-rwxr-xr-x	get-antlr-3.4	3522	log plain
-rwxr-xr-x	get-authors	2569	log plain
-rwxr-xr-x	get-cadical	499	log plain
-rwxr-xr-x	get-cryptominisat	556	log plain
-rwxr-xr-x	get-drat2er	468	log plain
-rwxr-xr-x	get-glpk-cut-log	1177	log plain
-rwxr-xr-x	get-gmp-dev	1889	log plain
-rwxr-xr-x	get-kissat	532	log plain
-rwxr-xr-x	get-lfsc-checker	446	log plain
-rwxr-xr-x	get-poly	712	log plain
-rw-r--r--	get-script-header.sh	2656	log plain
-rwxr-xr-x	get-symfpu	468	log plain
-rw-r--r--	glpk-cut-log.patch	51144	log plain
-rwxr-xr-x	learn_resource_weights.py	6875	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
-rwxr-xr-x	sygus-v1-to-v2.sh	675	log plain
-rwxr-xr-x	test_install_headers.sh	1288	log plain
d---------	theoryskel	260	log plain
-rwxr-xr-x	update-copyright.pl	8479	log plain