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

Mode	Name	Size
-rw-r--r--	CMakeGraphVizOptions.cmake.in	1152	log plain
-rw-r--r--	CodeCoverage.cmake	13943	log plain
-rw-r--r--	ConfigCompetition.cmake	1612	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	3788	log plain
-rw-r--r--	FindANTLR3.cmake	5945	log plain
-rw-r--r--	FindCLN.cmake	3193	log plain
-rw-r--r--	FindCaDiCaL.cmake	4464	log plain
-rw-r--r--	FindCoCoA.cmake	3207	log plain
-rw-r--r--	FindCryptoMiniSat.cmake	4038	log plain
-rw-r--r--	FindDrat2Er.cmake	1324	log plain
-rw-r--r--	FindDummy.cmake.template	3608	log plain
-rw-r--r--	FindEditline.cmake	2211	log plain
-rw-r--r--	FindGLPK.cmake	1453	log plain
-rw-r--r--	FindGMP.cmake	3118	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	6142	log plain
-rw-r--r--	FindSphinx.cmake	760	log plain
-rw-r--r--	FindSymFPU.cmake	2240	log plain
-rw-r--r--	FindValgrind.cmake	933	log plain
-rw-r--r--	Helpers.cmake	8734	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	1273	log plain
-rw-r--r--	cvc5Config.cmake.in	1058	log plain
-rw-r--r--	deps-helper.cmake	5308	log plain
d---------	deps-utils	219	log plain
-rw-r--r--	fuzzing-murxla.cmake	1936	log plain
-rw-r--r--	target-graphs.cmake	1179	log plain
-rw-r--r--	version-base.cmake	455	log plain
-rw-r--r--	version-base.cmake.template	470	log plain
-rw-r--r--	version.cmake	4672	log plain