When parsing a file with ChocoXCSP.java, enabling the freesearch parameter causes the solver to register duplicated search strategies and restart policies.
The issue comes from both parse(...) and freesearch(...) configuring default search components.
Current behavior:
parse(...) already installs:
default search strategies
default restart policies
freesearch(...) does the same and then calls:
bb.complete(solver.getModel(), solver.getSearch());
which adds another set of strategies/restarters on top of the existing configuration.
When parsing a file with ChocoXCSP.java, enabling the freesearch parameter causes the solver to register duplicated search strategies and restart policies.
The issue comes from both
parse(...)andfreesearch(...)configuring default search components.Current behavior:
parse(...)already installs:default search strategies
default restart policies
freesearch(...)does the same and then calls:which adds another set of strategies/restarters on top of the existing configuration.