/clpfd

CLP(fd) solver in Prolog using coroutines and attributed variables

Primary LanguageProlog

Stargazers