clingo 5.3.0-2 File List

Package has 21 files and 8 directories.

Back to Package

  • usr/
  • usr/bin/
  • usr/bin/clasp
  • usr/bin/clingo
  • usr/bin/gringo
  • usr/bin/lpconvert
  • usr/bin/reify
  • usr/include/
  • usr/include/clingo.h
  • usr/include/clingo.hh
  • usr/lib/
  • usr/lib/cmake/
  • usr/lib/cmake/Clingo/
  • usr/lib/cmake/Clingo/ClingoConfig.cmake
  • usr/lib/cmake/Clingo/ClingoConfigVersion.cmake
  • usr/lib/cmake/Clingo/ClingoTargets-release.cmake
  • usr/lib/cmake/Clingo/ClingoTargets.cmake
  • usr/lib/libclingo.so
  • usr/lib/libclingo.so.2
  • usr/lib/libclingo.so.2.0
  • usr/lib/libluaclingo.so
  • usr/lib/libluaclingo.so.1
  • usr/lib/libluaclingo.so.1.0
  • usr/lib/libpyclingo.so
  • usr/lib/libpyclingo.so.1
  • usr/lib/libpyclingo.so.1.0
  • usr/lib/python3.7/
  • usr/lib/python3.7/site-packages/
  • usr/lib/python3.7/site-packages/clingo.cpython-37m-x86_64-linux-gnu.so