-
Alexandre Duret-Lutz authored
* python/spot/__init__.py: Recognize if the input is already a formula. * tests/python/formulas.ipynb: Test this.
31ccab02
* python/spot/__init__.py: Recognize if the input is already a formula. * tests/python/formulas.ipynb: Test this.