Charles Prud'homme
Charles Prud'homme
It would be nice if Choco were able to support [MiniZinc output format](https://www.minizinc.org/doc-2.4.3/en/fzn-spec.html#statistics-output).
MiniZinc IDE can be parametrized with any solver as long as it provides a configuration file. See [here](https://www.minizinc.org/doc-2.4.3/en/fzn-spec.html#command-line-interface-and-standard-options) for more details. There is a `configuration.msc` file available for Choco (see:...
Some methods are declared in `FiniteAutomaton` but should be moved to a factory to avoid mis-interpretation. F-ex, calling `a1.intersection(a2)` returns a new `FiniteAutomaton` which is the result of the intersection...
Since at_most and at_least are used to decompose, resp., all_equal and not_all_equal, in `IIntConstraintFactory`, wouldn't it be nice to avoid computing the union of variables domain when domains are very...
Alexandre Papadopoulos suggests a few modifications to PropRegular in order to improve its overall behavior. 1. When the automaton is based on large alphabet, the graph initialization could be improved...
Environment could provide indicators on: - allocated space, - used space, - resize frequency. These parameters should help user to determine which configuration is the more adapter to its problem:...
The following code fails: ``` java Model m = new Model(); IntVar a = m.intVar("a", 0, 50), b = m.intVar("b", 0, 50); IntVar[] vars = new IntVar[] { a, b...
In the current documentation, the paragraph that introduces the different [warm start](https://www.minizinc.org/doc-2.6.2/en/mzn_search.html#sec-warm-starts) annotations seems to be copied/pasted from the restart one. By the way, it is not clear how this...
It would seem appropriate to me to be able to delay the actual creation of variables as long as possible, or at least their domain, so as to be in...