Colin THOMAS / pyits_model_checker

Go to a project
Toggle navigation Toggle navigation pinning
Colin THOMAS
df7b5df3 1 parent 4f2b9e1a

Update __init__.py

Inline Side-by-side
Showing 1 changed file with 1 additions and 1 deletions
......@@ -2,7 +2,7 @@
"""
from ddd import ddd, sdd, shom
from pytl import parse, Phi
from tl import parse, Phi
from functools import reduce, lru_cache
def fixpoint(fonction, start):
......