• Modify Makefile.
  • CADICAL_INC should find src of CaDiCaL, and CADICAL_LIB_DIR its build.
  • PUGIXML_SRC should find pugixml.cpp and PUGIXML_INC a directory with pugixml.hpp

Licensing

This software has been developed for the project BLaSST. It is released under the terms of the GNU LGPL v3.0 license.

BLaSST is a project funded by ANR, the French research agency. It involves the VeriDis team of Inria in Nancy, the CRIL laboratory of University of Artois in Lens, the CLEARSY company, and the Montefiore Institute of University of Liège in Belgium. BLaSST was selected for funding as project ANR-21-CE25-0010.