FIDO

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

FTP