Skip to content
  • Alexandre GBAGUIDI AISSE's avatar
    spot: Add Picosat to Spot library & Update satsolver class · 32f040fa
    Alexandre GBAGUIDI AISSE authored
    * Makefile.am: Add picosat to subdirs.
    * configure.ac: Add picosat/Makefile to AC_CONFIG_FILES.
    * README: Add picosat/ in the list of directories.
    * debian/copyright: Add picosat licence and details.
    * picosat/Makefile.am: Implement Makefile.am in picosat directory.
    * spot/Makefile.am: Tell the compiler to add libpico.la into libspot.la.
    * picosat/LICENSE: Add picosat licence.
    * picosat/NEWS: Add picosat NEWS.
    * picosat/VERSION: Add picosat VERSION.
    * picosat/picosat.c: Add picosat c file.
    * picosat/picosat.h: Add picosat header file.
    * spot/misc/satsolver.cc: Update functions.
    * spot/misc/satsolver.hh: Add documentation, clean code, change
    some functions visibility and separate templates functions.
    * spot/twaalgos/dtbasat.cc: Update dtba_to_sat function.
    * spot/twaalgos/dtwasat.cc: Update dtwa_to_sat function.
    32f040fa
This project is licensed under the GNU General Public License v3.0 only. Learn more