-
Alexandre Duret-Lutz authored
Fixes #160. * spot/tl/formula.hh (formula::ap): New specialization. * tests/python/ltsmin.ipynb: Test it.
ed3b58c9
Fixes #160. * spot/tl/formula.hh (formula::ap): New specialization. * tests/python/ltsmin.ipynb: Test it.