ktp-forked-repos / choco-graph Goto Github PK

Choco-graph is an open-source Java library for Constraint Programming over Graph Variables. This extension of Choco Solver enables you to search for a graph that satisfies a graph properties such as forming a tree, a hamiltonian cycle, having 3 strongly connected components, etc.

A user guide may be found in the doc folder. Feel free to contribute to it.

This software is licensed under BSD license.

This extension of Choco Solver works with choco-solver-4.0.6 and associated dependencies. It requires JDK 1.8+

Please meet our team of cho-coders :

• @jgFages (Jean-Guillaume Fages)
• @cprudhom (Charles Prud'homme)

The source of the released versions are directly available in the Tag section. You can also download them using github features. Once downloaded, move to the source directory then execute the following maven command to make the jar:

$ mvn clean package -DskipTests

If the build succeeded, the resulting jar will be automatically installed in your local maven repository and available in the target sub-folders.

Use the issue tracker here on GitHub to report issues. As far as possible, provide a Minimal Working Example.

=================== The Choco Solver dev team.