choco-solver
choco-solver copied to clipboard
chocoteam
An open-source Java library for Constraint Programming
rework pom
Just a few changes on the poms. - the root pom is org.choco-solver.Choco . It manages the version of the sub projects to ${project.version}. - the solver subproject is renamed...
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:...
The idea is to remove unpost(Constraint... cstrs) method as it leads to a lot of confusion and the solver was not conceived for such a feature.
## Expected behavior Code coverage should not changed on files not concerned by a commit. ## Actual behavior Some tests are based on random instance generation and so some part...
It looks like someone forgot to delete lines 106 to 108 in [PropagationGuidedNeighborhood.java](https://github.com/chocoteam/choco-solver/blob/ab04ff513e8c278916105baa4ab4334dd4d22c8a/src/main/java/org/chocosolver/solver/search/loop/lns/neighbors/PropagationGuidedNeighborhood.java#L106). In previous versions, line 105 was `logSum = 0` but was at some point this updated to...
## Expected behavior Choco should be able to work with MPS files with multiple cores (`-p 3` option in choco-parsers). ## Actual behavior The mps solver returns an error: c...
Problem is in choco4 after commit on 1.5.2017 named 'remove deprecated code from memory'. Since I use StateIntVector in my propagator it is a problem for me.
Hi It is no longer possible to know the size of my vector, this is a bit annoying because you already store that data. Now, I have to maintain that...
### Expected behavior limit the first search strategy to 1 second in solve THEN use the second strategy (to improve the best so far solution) ### Actual behavior search.limit Monitor...
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...