Format of an NLSOL call
The format of a call is as follows:
nlsol <constraint-file> <domain-type> <domain-def>
constrain-file
is the name of a file containing a contraint in the input format.
domain-type {0,1,2}
is 0 if the domain is defined as an integer inteval.
is 1 if the domain is defined by a list of rational values, e.g. 0 1 2 1/2
is 2 if the domain is defined as a set of rational numbers with numerator in an integer inteval and a common denominator, e.g. 0/4, 1/4, 2/4, 3/4 and 4/4, denoted 0..4/4 for short.
domain-def
<min> <max> if domain type is 0
a sequence of numbers, if domain-type is 1
where rationals are written as n/m.
<min> <max> <den> if domain type is 2
Examples:
nsol file1.cs 0 0 4
solves the constraint given in file1.cs over the integer interval [0..4].
nsol file1.cs 1 0 1/2 1/4 1 2 4
solves the constraint given in file1.cs over the finite domain
{0 1/2 1/4 1 2 4}.
nsol file1.cs 2 0 16 4
solves the constraint given in file1.cs over the rational domain
[0..16/4]. Note that in fact the constraint is solved in the integer
domain [0..16] by multiplying by 4 all variables. The solution found
should then be divided by 4.