-
Alexandre Duret-Lutz authored
Fixes #168. * python/spot/__init__.py: Implement it. * tests/python/formulas.ipynb: Test it. * NEWS: Mention it.
e91c6ba2
Fixes #168. * python/spot/__init__.py: Implement it. * tests/python/formulas.ipynb: Test it. * NEWS: Mention it.