semantic: soft(x [>=, >, <=, <, =] y + cst)
example soft(x >= y + cst) = max( y + cst - x , 0 )
wcsp syntax:
2 xindex yindex -1 [>=, >, <=, <, =] cst

variable ordering heuristic: add epsilon when comparing two reals

domain represented by an interval

add projectInfCost and projectSupCost

FDAC added. Three event queues for increase/decrease, value removal, and projectCostFromZero (used by DAC).

new method return number of remaining values:
getDomainSizeSum

nary choice point with no value heuristic
variable ordering following the file order

second parameter = verbosity
third parameter = print all solutions

add a print in verification of local consistency

bug corrections:
save/restore timeStamp in projectNC
update support,maxcost,maxcostval,deltacost in assignWCSP