• Alexandre Duret-Lutz's avatar
    python: add bindings for bdd_to_formula() · 4e9303e3
    Alexandre Duret-Lutz authored
    Follow-up to an email from Ayrat Khalimov.
    
    * python/spot/impl.i: Include twa/formula2bdd.hh.
    * python/spot/__init__.py: Make the dictionnary
    optional.
    * spot/twa/formula2bdd.cc: Throw an exception instead of asserting.
    * tests/python/bdditer.py: New file.
    * tests/Makefile.am: Add it.
    * NEWS: Update.
    4e9303e3
Makefile.am 10.7 KB