• Etienne Renault's avatar
    convert: BDD to cube conversions · ed6e414d
    Etienne Renault authored
    * README, configure.ac, spot/Makefile.am,
    spot/twacube_algos/Makefile.am, spot/twacube_algos/convert.cc
    spot/twacube_algos/convert.hh, tests/core/cube.cc,
    tests/core/cube.test: here.
    ed6e414d