Allow the specification of different search strategies

[hadronzoo]

Rather than always defaulting to minDom_LB, would it be possible to specify other strategies?

[aengelberg]

Other strategies are on the radar. Thanks for submitting.

On Monday, November 9, 2015, Joshua Griffith [email protected]
wrote:

Rather than always defaulting to minDom_LB, would it be possible to
specify other strategies?

—
Reply to this email directly or view it on GitHub
#11.

[tanders]

Choco also allows users to define their own search strategy (variable and value ordering, http://choco-solver.org/user_guide/4_advanced.html#defining-its-own-search-strategy). For complex CSPs a good custom strategy can greatly speed up the search process, or help to find a better first solution.

Thanks!

Torsten

[aengelberg]

Exposing custom strategies through a Clojure interface would be tough, especially while keeping the Choco solve performant. A strategy is basically a function that takes an array of variables and returns a variable. It would be confusing for the Loco user to declare constraints with keyword variables and then have to manipulate Choco variable objects at solve-time. I'll have to give it more thought.

I'm definitely going to add in the existing Choco built-in strategies when I get the chance (and it's low-hanging fruit for anyone who wants to contribute).