- DAC enforcing separated from best assignment builder
- DAC detects that it broke the current primal
- findBestAssignment becomes updatePrimal
- UpdatePrimal/ComputeUb called only if primal broken by DAC
- pruning only if c0 increases or ub decreases

 - The UB was incorrect (missed c0)
 - DaclrVariable refactored: no variable index, no reference to Daclr class
 - std::ostream &operator<< for variables and cost functions
 - optimality proof detected if all values removed

Moved DD-MRF after VAC, added LP check, added sum-product, etc.

Compile, works, but does not communicate with the WCSP.

Fix the issue of inconsistency between flow and DP for Regular() due to deltaCost may be unchanged in project()

Nettoyage de blancs.

nettoyage d'espaces

Nettoyage d'espace en prime.

Ajour de la fonction Exp.

is now required for toulbar2 compilation

[bugs] incop is now available under windows and Linux version. Timer is not available under windows OS