This project uses several libraries in binary form.
Sources are availables at : https://github.com/pybee/cassowary-java
This code is licensed under the BSD license and a copy of the license is available in the 3rd parties licenses/LICENSE-cassowary file in this repository.
Sources are available at : https://bitbucket.org/minicp/minicp/src/master/
This code is licensed under the LGPLv3 license, a copy of the license is available at https://www.gnu.org/licenses/lgpl-3.0.en.html.
Another copy of the GPLv3 licence is available in the 3rd parties licenses/LICENSE-minicp file in this repository.
Sources are available at : https://github.com/chocoteam/choco-solver
This is licensed under the BSD 4-Clause "Original" or "Old" License, a copy of the license is available at https://github.com/chocoteam/choco-solver/blob/master/LICENSE.
Another copy of the license is avaiable in the 3rd parties licenses/LICENSE-choco file in this repository.
Sources are availables at : https://github.com/xcsp3team/XCSP3-Java-Tools
This code is licensed under the MIT licences, a copy of the licence is available at https://github.com/xcsp3team/XCSP3-Java-Tools/blob/master/LICENSE.
Another copy of the license is available in the 3rd parties licenses/LICENSE-xcsp3 file in this repository.
Sources are available at : https://github.com/cbeust/jcommander/
This code is licensed unser the Apache License 2.0, a copy of the license is available in 3rd parties licenses/LICENSE-jcommander in this repository.