invariants
This package includes all the class that make it possible to define variables and invariants.
This package proposes a model of propagation.