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'),
+                          ))           
+
+
+