• 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
To find the state of this project's repository at the time of any of these versions, check out the tags.
NEWS 154 KB