VDict mobile



FInite DOmains. A constraint language implemented on top of
Prolog.
.