FIDO

FInite DOmains

A constraint language implemented on top of Prolog.