-
Alexandre Duret-Lutz authored
Fixes #168. * python/spot/__init__.py: Implement it. * tests/python/formulas.ipynb: Test it. * NEWS: Mention it.
e91c6ba2
To find the state of this project's repository at the time of any of these versions, check out the tags.