• 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
Name
Last commit
Last update
..
LICENSE Loading commit data...
Makefile.am Loading commit data...
NEWS Loading commit data...
VERSION Loading commit data...
picosat.c Loading commit data...
picosat.h Loading commit data...