bin/cadical
bin/mobical
include/cadical.hpp
include/ccadical.h
include/ipasir.h
lib/libcadical.so
lib/libcadical.so.2
lib/libcadical.so.2.1.3
