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

Mode	Name	Size
-rw-r--r--	CVC4Config.cmake.in	1058	log plain
-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--	ConfigureCVC4.cmake	3770	log plain
-rw-r--r--	FindABC.cmake	1496	log plain
-rw-r--r--	FindANTLR3.cmake	4679	log plain
-rw-r--r--	FindCLN.cmake	2709	log plain
-rw-r--r--	FindCaDiCaL.cmake	3568	log plain
-rw-r--r--	FindCryptoMiniSat.cmake	3646	log plain
-rw-r--r--	FindCython.cmake	2493	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	2512	log plain
-rw-r--r--	FindGTest.cmake	2861	log plain
-rw-r--r--	FindHamcrest.cmake	844	log plain
-rw-r--r--	FindJUnit.cmake	1211	log plain
-rw-r--r--	FindKissat.cmake	2694	log plain
-rw-r--r--	FindLFSC.cmake	1224	log plain
-rw-r--r--	FindPoly.cmake	4468	log plain
-rw-r--r--	FindPythonExtensions.cmake	18960	log plain
-rw-r--r--	FindSphinx.cmake	760	log plain
-rw-r--r--	FindSymFPU.cmake	1976	log plain
-rw-r--r--	FindValgrind.cmake	933	log plain
-rw-r--r--	Helpers.cmake	6598	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--	UseCython.cmake	13942	log plain
-rw-r--r--	deps-helper.cmake	3837	log plain
d---------	deps-utils	112	log plain
-rw-r--r--	targetLinkLibrariesWithDynamicLookup.cmake	14634	log plain