FIDO

Search:

FIDO

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

(ftp://ftp.uni-kl.de/pub1/Unix/languages/fido/).