Closed krzku closed 6 years ago
In the attached model the search annotations are not flattened and make most solvers to not work correctly. The generated flatzinc has the following search specification
solve :: seq_search([s_mindur,s_bool,s_minstart,s_obj]) minimize objective;
and flatzinc solver cannot find a_mindur, s_bool, etc.
/Kris
fjsp.mzn.zipThe generated
In the attached model the search annotations are not flattened and make most solvers to not work correctly. The generated flatzinc has the following search specification
solve :: seq_search([s_mindur,s_bool,s_minstart,s_obj]) minimize objective;
and flatzinc solver cannot find a_mindur, s_bool, etc.
/Kris
fjsp.mzn.zipThe generated