• Alexandre Duret-Lutz's avatar
    python: add bindings for bdd_to_formula() · d1d3ee38
    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.
    d1d3ee38
bdditer.py 1.72 KB