From 8d5a32701c85d8827d62fcb04379d4b84127b606 Mon Sep 17 00:00:00 2001 From: Marcell Vazquez-Chanlatte Date: Mon, 11 Jul 2016 23:31:52 -0700 Subject: [PATCH] reimplemented milp using signal logic encoding --- __init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/__init__.py b/__init__.py index 0d4e3f1..7fc2bf3 100644 --- a/__init__.py +++ b/__init__.py @@ -1,4 +1,4 @@ from stl.ast import terms_lens, lineq_lens, walk, tree, and_or_lens from stl.ast import dt_sym, t_sym -from stl.ast import LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg +from stl.ast import LinEq, Interval, NaryOpSTL, Or, And, F, G, ModalOp, Neg, Var from stl.parser import parse