Samples of CHOCO programs

Some well-known CP examples are available within choco.jar. They can be easily run, executing a simple command

in a terminal.

Requirements

  • JDK 6+
  • a jar of see choco
  • a terminal

Run a sample

To run a sample, simply execute the following command in a terminal :

$ java -cp choco-X.x.x.jar path.to.the.Sample

where path.to.the.Sample should be set to one of the following :

  • samples.tutorials.basics.IntVarExample
  • samples.tutorials.basics.RealVarExample
  • samples.tutorials.basics.TaskVarExample
  • samples.tutorials.continuous.CycloHexan
  • samples.tutorials.puzzles.Candles
  • samples.tutorials.scheduling.CumulativeWebEx
  • samples.tutorials.scheduling.DisjunctiveWebEx
  • samples.tutorials.scheduling.pert.DeterministicPert
  • samples.tutorials.continuous.Arm
  • samples.tutorials.puzzles.Distance
  • samples.tutorials.puzzles.GolombRuler
  • samples.tutorials.puzzles.MagicSquare
  • samples.tutorials.to_sort.MinimumEdgeDeletion
  • samples.tutorials.puzzles.Queen
  • samples.tutorials.puzzles.SendMoreMoney
  • samples.tutorials.set.SteinerSystem
  • samples.tutorials.to_sort.U2planning
  • samples.tutorials.to_sort.WolfGoatCabbage1

    Samples description can be found in Documentation page.