CORAL

Running CORAL in the command line

One can use CORAL's jar file to call the solver either from the command-line or Java. For example, CORAL outputs

SOL: {$V1=1.5707963267948966, $V2=0.0}

when solving the constraint sin(x) + cos(y) = 2. See its input language and try from command-line:

java -jar coral.jar --inputCONS="DEQ(ADD(SIN_(DVAR(ID_1)),COS_(DVAR(ID_2))),DCONS(2.0))"

Running CORAL with interval-based solvers

CORAL can use interval-based solvers to seed the initial population of the search, which results in a reduction of the search space. Currently, only RealPaver and ICOS (use the one next to "Last binary") are supported, with RealPaver presenting the best results. The remainder of this section will explain how to set-up CORAL to use this feature.

# RealPaver 

To use CORAL+RealPaver from the command-line:

java -jar coral.jar --inputCONS="$CONS" --enableIntervalBasedSolver=true --realPaverLocation="$REALPAVER" --intervalSolver="realpaver"

where '$CONS' is the constraint to be solved, and '$REALPAVER' is the path to the RealPaver executable.

# ICOS

To use CORAL+ICOS from the command-line:

java -jar coral.jar --inputCONS="$CONS" --enableIntervalBasedSolver=true --intervalSolver="icos" --icosLocation="$ICOS"

where '$CONS' is the constraint to be solved, and '$ICOS' is the path to the ICOS executable.