diff --git a/src/opt/opt_params.pyg b/src/opt/opt_params.pyg new file mode 100644 index 000000000..ae6e43aea --- /dev/null +++ b/src/opt/opt_params.pyg @@ -0,0 +1,11 @@ +def_module_params('opt', + description='optimization parameters', + export=True, + params=(('timeout', UINT, UINT_MAX, 'set timeout'), + ('engine', SYMBOL, 'basic', "select optimization engine: 'basic', 'farkas', 'symba'"), + )) + + + + +