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	451	log plain
-rw-r--r--	CodeCoverage.cmake	11727	log plain
-rw-r--r--	ConfigCompetition.cmake	1077	log plain
-rw-r--r--	ConfigDebug.cmake	610	log plain
-rw-r--r--	ConfigProduction.cmake	512	log plain
-rw-r--r--	ConfigTesting.cmake	511	log plain
-rw-r--r--	ConfigureCVC4.cmake	2861	log plain
-rw-r--r--	FindABC.cmake	975	log plain
-rw-r--r--	FindANTLR.cmake	1051	log plain
-rw-r--r--	FindCLN.cmake	1024	log plain
-rw-r--r--	FindCaDiCaL.cmake	545	log plain
-rw-r--r--	FindCryptoMiniSat.cmake	674	log plain
-rw-r--r--	FindCxxTest.cmake	1954	log plain
-rw-r--r--	FindCython.cmake	2493	log plain
-rw-r--r--	FindDrat2Er.cmake	789	log plain
-rw-r--r--	FindEditline.cmake	1501	log plain
-rw-r--r--	FindGLPK.cmake	932	log plain
-rw-r--r--	FindGMP.cmake	471	log plain
-rw-r--r--	FindHamcrest.cmake	323	log plain
-rw-r--r--	FindJUnit.cmake	690	log plain
-rw-r--r--	FindKissat.cmake	528	log plain
-rw-r--r--	FindLFSC.cmake	610	log plain
-rw-r--r--	FindPoly.cmake	867	log plain
-rw-r--r--	FindPythonExtensions.cmake	18960	log plain
-rw-r--r--	FindSymFPU.cmake	321	log plain
-rw-r--r--	FindValgrind.cmake	412	log plain
-rw-r--r--	Helpers.cmake	5158	log plain
-rw-r--r--	Toolchain-mingw64.cmake	754	log plain
-rw-r--r--	UseCython.cmake	13942	log plain
-rw-r--r--	targetLinkLibrariesWithDynamicLookup.cmake	14634	log plain