Commit 9f72f4d1 authored by Mathieu Hemery's avatar Mathieu Hemery

First success for quadratization

parent f78dfe77
......@@ -21,6 +21,9 @@
:- use_module(util).
:- use_module(xpp_parser).
set_my_option(Option, Value) :-
change_item([], option, Option, option(Option: Value)).
main([Input|_Tail]) :-
% Naming handling
file_name_extension(InputBase, 'ode', Input),
......@@ -37,8 +40,9 @@ main([Input|_Tail]) :-
nb_setval(ode_viewer, inline),
nb_setval(current_models, []),
new_model,
change_item([], option, quadratic_reduction, option(quadratic_reduction: fast)),
change_item([], option, timeout, option(timeout: 120)),
set_my_option(quadratic_reduction, sat_species),
set_my_option(timeout, 120),
set_my_option(stats, no),
% Main procedure
read_xpp(Input),
list_ode,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment