package info (click to toggle)
cvc4 1.8-5
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 70,008 kB
  • sloc: cpp: 274,686; sh: 5,836; python: 1,894; java: 929; lisp: 763; ansic: 275; perl: 214; makefile: 22; awk: 2

Folder: cmake

d .. (parent)
- - rw-r--r-- 395 CVC4Config.cmake.in
- - rw-r--r-- 11,727 CodeCoverage.cmake
- - rw-r--r-- 746 ConfigCompetition.cmake
- - rw-r--r-- 610 ConfigDebug.cmake
- - rw-r--r-- 512 ConfigProduction.cmake
- - rw-r--r-- 511 ConfigTesting.cmake
- - rw-r--r-- 2,861 ConfigureCVC4.cmake
- - rw-r--r-- 975 FindABC.cmake
- - rw-r--r-- 1,051 FindANTLR.cmake
- - rw-r--r-- 1,024 FindCLN.cmake
- - rw-r--r-- 545 FindCaDiCaL.cmake
- - rw-r--r-- 674 FindCryptoMiniSat.cmake
- - rw-r--r-- 1,954 FindCxxTest.cmake
- - rw-r--r-- 2,493 FindCython.cmake
- - rw-r--r-- 789 FindDrat2Er.cmake
- - rw-r--r-- 932 FindGLPK.cmake
- - rw-r--r-- 471 FindGMP.cmake
- - rw-r--r-- 323 FindHamcrest.cmake
- - rw-r--r-- 690 FindJUnit.cmake
- - rw-r--r-- 528 FindKissat.cmake
- - rw-r--r-- 488 FindLFSC.cmake
- - rw-r--r-- 18,960 FindPythonExtensions.cmake
- - rw-r--r-- 2,422 FindReadline.cmake
- - rw-r--r-- 321 FindSymFPU.cmake
- - rw-r--r-- 412 FindValgrind.cmake
- - rw-r--r-- 5,056 Helpers.cmake
- - rw-r--r-- 754 Toolchain-mingw64.cmake
- - rw-r--r-- 13,942 UseCython.cmake
- - rw-r--r-- 14,634 targetLinkLibrariesWithDynamicLookup.cmake