Limits

How to limit exploration?

Built-in search limits

Search can be limited in various ways using the Solver (from model.getSolver()).

  • limitTime stops the search when the given time limit has been reached. This is the most common limit, as many applications have a limited available runtime.

  • limitSolution stops the search when the given solution limit has been reached.

  • limitNode stops the search when the given search node limit has been reached.

  • limitFail stops the search when the given fail limit has been reached.

  • limitBacktrack stops the search when the given backtrack limit has been reached.

For instance, to interrupt search after 10 seconds:

Solver s = model.getSolver();
s.limitTime("10s");
model.getSolver().solve();

Custom search limits

You can design you own search limit by implementing a Criterion and using resolver.limitSearch(Criterion c):

Solver s = model.getSolver();
s.limitSearch(new Criterion() {
    @Override
    public boolean isMet() {
        // todo return true if you want to stop search
    }
});

In Java 8, this can be shortened using lambda expressions:

Solver s = model.getSolver();
s.limitSearch(() -> { /*todo return true if you want to stop search*/ });

Last modified 16.03.2020: Update solving part (9d077c6)