Skip to content
  • Alexandre Duret-Lutz's avatar
    python: implicit str->formula conversion · 6a808492
    Alexandre Duret-Lutz authored
    * python/spot/impl.i, python/spot/__init__.py: Implement it.
    * NEWS: Mention it.
    * tests/python/atva16-fig2a.ipynb, tests/python/atva16-fig2b.ipynb,
    tests/python/formulas.ipynb, tests/python/ltsmin-dve.ipynb,
    tests/python/ltsmin-pml.ipynb, tests/python/stutter-inv.ipynb,
    doc/org/tut02.org: Modernize.
    6a808492