choco-solver
choco-solver copied to clipboard
chocoteam
An open-source Java library for Constraint Programming
Bumps [maven-checkstyle-plugin](https://github.com/apache/maven-checkstyle-plugin) from 3.1.2 to 3.2.0. Commits 1aaf7cb [maven-release-plugin] prepare release maven-checkstyle-plugin-3.2.0 627fa4f [MCHECKSTYLE-417] Upgrade Maven Reporting API to 3.1.1/Maven Reporting Impl t... cbf3751 [MCHECKSTYLE-418] Deprecate RSS feature and disable...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [maven-javadoc-plugin](https://github.com/apache/maven-javadoc-plugin) from 3.4.0 to 3.4.1. Release notes Sourced from maven-javadoc-plugin's releases. 3.4.1 [MJAVADOC-723] - Upgrade Maven Reporting API to 3.1.1/Complete with Maven Reporting Impl 3.2.0 (#158) @pzygielo Skip Java...
Bumps [maven-project-info-reports-plugin](https://github.com/apache/maven-project-info-reports-plugin) from 3.2.2 to 3.4.1. Commits 32dca04 [maven-release-plugin] prepare release maven-project-info-reports-plugin-3.4.1 53561fb [MPIR-424] Upgrade Maven Reporting API to 3.1.1/Maven Reporting Impl to 3.2.0 a91b480 [maven-release-plugin] prepare for next development...
Hi, When reading the code about implied and reification constraints, I noticed there are a few specifications issues (probably copy-paste related). Both constraints share the same spec   Which...
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...
The bug happend in "fzn-choco" script at master branch, located at "parsers/src/main/minizinc/fzn-choco". First, i try the command ` bash fzn-choco -jar choco-parsers-4.10.14-light.jar output.fzn` then it output: ``` "-jar" is not...
Dear, I'm using Choco v 4.10.14 through the MiniZinc interface on MiniZinc v.2.8.1 and I am encountering an error when trying to compile a model with an element constraint. Below...
Hello, I would like to program with Choco Solver, however the license is holding me back. On the Internet I read: "BSD 4-Clause License. Like 3-Clause, additionally with the obnoxious...
Hello, I am using the Choco-Solver with the FlatZinc frontend (fzn-choco) and I noticed that the peak depth is not included in the printed statistics after solving a problem. I...
