From 0c50971b5773731c726e279328e48b8a998b66f3 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Tue, 7 May 2019 17:16:33 -0700
Subject: [PATCH] add nla_params and settings, make m_emons private

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/util/lp/nla_params.pyg | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 src/util/lp/nla_params.pyg

diff --git a/src/util/lp/nla_params.pyg b/src/util/lp/nla_params.pyg
new file mode 100644
index 000000000..430e2aa27
--- /dev/null
+++ b/src/util/lp/nla_params.pyg
@@ -0,0 +1,9 @@
+def_module_params('nla', 
+                  export=True,
+                  params=(
+                   ('order', BOOL, True, 'run order lemmas'),
+                   ('tangents', BOOL, True, 'run tangent lemmas'),
+                          ))           
+
+
+