package info (click to toggle)
cvc5 1.3.2-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 87,260 kB
  • sloc: cpp: 383,850; java: 12,207; python: 12,090; sh: 5,679; ansic: 4,729; lisp: 763; perl: 208; makefile: 38

Folder: cmake

d .. (parent)
d d rwxr-xr-x 4,096 deps-utils
- - rw-r--r-- 1,152 CMakeGraphVizOptions.cmake.in
- - rw-r--r-- 2,353 CodeCoverage.cmake
- - rw-r--r-- 1,556 ConfigCompetition.cmake
- - rw-r--r-- 1,224 ConfigDebug.cmake
- - rw-r--r-- 990 ConfigProduction.cmake
- - rw-r--r-- 989 ConfigTesting.cmake
- - rw-r--r-- 3,837 ConfigureCvc5.cmake
- - rw-r--r-- 5,820 FindCLN.cmake
- - rw-r--r-- 1,770 FindCVC5PythonicAPI.cmake
- - rw-r--r-- 6,792 FindCaDiCaL.cmake
- - rw-r--r-- 4,976 FindCoCoA.cmake
- - rw-r--r-- 3,710 FindCryptoMiniSat.cmake
- - rw-r--r-- 3,903 FindCython.cmake
- - rw-r--r-- 1,324 FindDrat2Er.cmake
- - rw-r--r-- 3,617 FindDummy.cmake.template
- - rw-r--r-- 2,302 FindEditline.cmake
- - rw-r--r-- 5,363 FindGLPK.cmake
- - rw-r--r-- 7,089 FindGMP.cmake
- - rw-r--r-- 3,044 FindGTest.cmake
- - rw-r--r-- 844 FindHamcrest.cmake
- - rw-r--r-- 2,092 FindJUnit.cmake
- - rw-r--r-- 3,076 FindKissat.cmake
- - rw-r--r-- 1,224 FindLFSC.cmake
- - rw-r--r-- 2,021 FindPip.cmake
- - rw-r--r-- 9,443 FindPoly.cmake
- - rw-r--r-- 3,453 FindRepairwheel.cmake
- - rw-r--r-- 3,297 FindSetuptools.cmake
- - rw-r--r-- 3,162 FindSphinx.cmake
- - rw-r--r-- 2,204 FindSymFPU.cmake
- - rw-r--r-- 933 FindValgrind.cmake
- - rw-r--r-- 10,879 Helpers.cmake
- - rw-r--r-- 2,002 IWYU.cmake
- - rw-r--r-- 1,697 Toolchain-aarch64.cmake
- - rw-r--r-- 1,262 Toolchain-mingw64.cmake
- - rw-r--r-- 1,172 cvc5Config.cmake.in
- - rw-r--r-- 6,078 deps-helper.cmake
- - rw-r--r-- 1,833 fuzzing-murxla.cmake
- - rw-r--r-- 2,070 install_python_wheel.cmake
- - rw-r--r-- 1,466 python-scripts-paths.cmake
- - rw-r--r-- 1,179 target-graphs.cmake
- - rw-r--r-- 2,829 update_rpath_macos.cmake
- - rw-r--r-- 519 version-base.cmake
- - rw-r--r-- 535 version-base.cmake.template
- - rw-r--r-- 4,960 version.cmake