import stormpy
from stormpy.logic import logic

class TestFormulas:
    def test_formula(self):
        formula = logic.Formula