8000 choco-solver/examples at master · Xabibax/choco-solver · GitHub
[go: up one dir, main page]

Skip to content

Latest commit

 

History

History
 
 

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

README.md

Choco-solver in practice

This project hosts samples based on choco-solver-4.0.5. This is mainly a source projet and no executable jar provided. To easily play around with choco-solver, one needs:

Easy way (with maven)

  1. Download the latest source code (zip or tar.gz).
  2. Un-archive the file and go to samples directory.
  3. Open a terminal and run the maven command:
    mvn clean install -DskipTests
  4. Then open the samples project with your IDE. Depending on your IDE, maven provides commands to configure your environment. For example, mvn idea:idea will generate *.ipr file.

To run a sample, select it org.chocosolver.samples.* subpackages and call the main method. For example, select org.chocosolver.samples.integer.Nonogram and run the class with the following program arguments -f -d rabbit.

Alternative to step 3. (without maven)

Create a new project based on samples source and downloads required dependencies:

Add them to the classpath of the new project.

Notebooks about Choco-solver advanced usages

Binder

These notebooks are dedicated to exemplify advanced usages of Choco-solver. It comes in complement of the documentation and tutorials.

Based on IJava binder.

  1. How to start solving based on a given solution ?
  2. How to run CDCL algorithm ?
  3. How to use conditional constraint ?
0