CLP(fd) solver in Prolog using coroutines and attributed variables
Primary LanguageProlog
This repository is not active