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

Mode	Name	Size
-rw-r--r--	CodeCoverage.cmake	11727	log plain
-rw-r--r--	ConfigCompetition.cmake	1627	log plain
-rw-r--r--	ConfigDebug.cmake	1265	log plain
-rw-r--r--	ConfigProduction.cmake	1029	log plain
-rw-r--r--	ConfigTesting.cmake	1045	log plain
-rw-r--r--	ConfigureCvc5.cmake	3770	log plain
-rw-r--r--	FindABC.cmake	1496	log plain
-rw-r--r--	FindANTLR3.cmake	4945	log plain
-rw-r--r--	FindCLN.cmake	2822	log plain
-rw-r--r--	FindCaDiCaL.cmake	4433	log plain
-rw-r--r--	FindCoCoA.cmake	2953	log plain
-rw-r--r--	FindCryptoMiniSat.cmake	3853	log plain
-rw-r--r--	FindDrat2Er.cmake	1324	log plain
-rw-r--r--	FindDummy.cmake.template	3608	log plain
-rw-r--r--	FindEditline.cmake	2039	log plain
-rw-r--r--	FindGLPK.cmake	1453	log plain
-rw-r--r--	FindGMP.cmake	2617	log plain
-rw-r--r--	FindGTest.cmake	2980	log plain
-rw-r--r--	FindHamcrest.cmake	844	log plain
-rw-r--r--	FindJUnit.cmake	2051	log plain
-rw-r--r--	FindKissat.cmake	2870	log plain
-rw-r--r--	FindLFSC.cmake	1224	log plain
-rw-r--r--	FindPoly.cmake	4933	log plain
-rw-r--r--	FindSphinx.cmake	760	log plain
-rw-r--r--	FindSymFPU.cmake	2251	log plain
-rw-r--r--	FindValgrind.cmake	933	log plain
-rw-r--r--	Helpers.cmake	6703	log plain
-rw-r--r--	IWYU.cmake	2002	log plain
-rw-r--r--	Toolchain-aarch64.cmake	1222	log plain
-rw-r--r--	Toolchain-mingw64.cmake	1302	log plain
-rw-r--r--	cvc5Config.cmake.in	1058	log plain
-rw-r--r--	deps-helper.cmake	4901	log plain
d---------	deps-utils	117	log plain