-
Alexandre Duret-Lutz authored
* spot/twaalgos/aiger.hh, spot/twaalgos/aiger.cc: Fix prototypes, as well as several error messages. * python/spot/impl.i: Implement an ad-hoc conversion for std::vector<const_twa_graph_ptr>. * tests/python/synthesis.ipynb: Use it to simplify the example. Adjust some comments.
6555af1f