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