clingo 5.2.2-5 File List

Package has 17 files and 6 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/libclingo.so
  • usr/lib/libclingo.so.1
  • usr/lib/libclingo.so.1.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.6/
  • usr/lib/python3.6/site-packages/
  • usr/lib/python3.6/site-packages/clingo.cpython-36m-x86_64-linux-gnu.so