Choco solver download and example code

Step 1.
* Download the choco-solver 4.0.4 from:
https://github.com/chocoteam/choco-solver/releases/tag/4.0.4
* unzip the choco-4.0.4.zip, and place it in the directory.

Step 2.
Setting for Scala Eclipes IDE
* Right click the target package, e.g. ChocoHandler, in package explorer in Eclipse.
* Select "Build Path" -> "Add External Arachives..."
* Select "choco-solver-4.0.4-with-dependencies.jar"

Step 3.
* Execute the attached Scala example code "ChocoHandler.scala".

import org.chocosolver.solver.Model
import org.chocosolver.solver.variables.IntVar;

object ChocoHandler{

def main(args: Array[String]): Unit = {

println("Sbt says Hello!")

val model: Model = new Model("Choco solver Hello world");
val a: IntVar = model.intVar("a", Array(4,6,8));
val b: IntVar = model.intVar("b", 0, 2);

model.arithm(a, "+", b, "<", 8).post();
var i: Int = 1;
while(model.getSolver().solve()) {
println("Solution " + i + " found : " + a + ", " + b);
i += 1;
}
}
}