python/spot/impl.i · 77261479778f52a7f2a16831313f3142f61a861c · Spot / Spot

python: add bindings for bdd_to_formula() · 4e9303e3

Alexandre Duret-Lutz authored Mar 08, 2017

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