Constraints techniques

Local propagation (DeltaBlue)

- cycle

Global propagation (Dynamic CSP)

- performances

Choices