From 98f6b805ab02c18bf2cb9a1d59501e8f1ed1b638 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 31 Dec 2017 19:35:59 +0000 Subject: [PATCH] Parameter Constraints --- logics/__init__.py | 1 + 1 file changed, 1 insertion(+) diff --git a/logics/__init__.py b/logics/__init__.py index fcb859c..768c246 100644 --- a/logics/__init__.py +++ b/logics/__init__.py @@ -1,3 +1,4 @@ from logics.rsltl import Formula_rsLTL from logics.bags import BagDescription +from logics.param_constr import ParamConstraint from logics.rsltl_encoder import rsLTL_Encoder