cadical 3.0.1-2 File List

Package has 11 files and 10 directories.

Back to Package

  • usr/
  • usr/bin/
  • usr/bin/cadical
  • usr/bin/mobical
  • usr/include/
  • usr/include/cadical/
  • usr/include/cadical/cadical.hpp
  • usr/include/cadical/ccadical.h
  • usr/include/cadical/ipasir.h
  • usr/include/cadical/tracer.hpp
  • usr/lib/
  • usr/lib/libcadical.so
  • usr/share/
  • usr/share/doc/
  • usr/share/doc/cadical/
  • usr/share/doc/cadical/BUILD.md
  • usr/share/doc/cadical/README.md
  • usr/share/licenses/
  • usr/share/licenses/cadical/
  • usr/share/licenses/cadical/LICENSE
  • usr/share/licenses/cadical/craigtracer.LICENSE.MIT