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	927	log plain
-rw-r--r--	CodeCoverage.cmake	11727	log plain
-rw-r--r--	ConfigCompetition.cmake	1518	log plain
-rw-r--r--	ConfigDebug.cmake	1133	log plain
-rw-r--r--	ConfigProduction.cmake	919	log plain
-rw-r--r--	ConfigTesting.cmake	932	log plain
-rw-r--r--	ConfigureCVC4.cmake	3657	log plain
-rw-r--r--	FindABC.cmake	1376	log plain
-rw-r--r--	FindANTLR3.cmake	4576	log plain
-rw-r--r--	FindCLN.cmake	2574	log plain
-rw-r--r--	FindCaDiCaL.cmake	3437	log plain
-rw-r--r--	FindCryptoMiniSat.cmake	3521	log plain
-rw-r--r--	FindCython.cmake	2493	log plain
-rw-r--r--	FindDrat2Er.cmake	1208	log plain
-rw-r--r--	FindDummy.cmake.template	3492	log plain
-rw-r--r--	FindEditline.cmake	1924	log plain
-rw-r--r--	FindGLPK.cmake	1334	log plain
-rw-r--r--	FindGMP.cmake	2391	log plain
-rw-r--r--	FindGTest.cmake	2745	log plain
-rw-r--r--	FindHamcrest.cmake	729	log plain
-rw-r--r--	FindJUnit.cmake	1093	log plain
-rw-r--r--	FindKissat.cmake	2562	log plain
-rw-r--r--	FindLFSC.cmake	1090	log plain
-rw-r--r--	FindPoly.cmake	4501	log plain
-rw-r--r--	FindPythonExtensions.cmake	18960	log plain
-rw-r--r--	FindSymFPU.cmake	1844	log plain
-rw-r--r--	FindValgrind.cmake	818	log plain
-rw-r--r--	Helpers.cmake	5794	log plain
-rw-r--r--	IWYU.cmake	1737	log plain
-rw-r--r--	Toolchain-aarch64.cmake	1112	log plain
-rw-r--r--	Toolchain-mingw64.cmake	1192	log plain
-rw-r--r--	UseCython.cmake	13942	log plain
-rw-r--r--	deps-helper.cmake	3118	log plain
d---------	deps-utils	112	log plain
-rw-r--r--	targetLinkLibrariesWithDynamicLookup.cmake	14634	log plain