Markus Triska, the author of SWI-Prolog's
clp(fd) library, contributed a boolean constraint library, library(clpb). Enjoy!| Did you know ... | Search Documentation: |
| Markus Triska added clp(b) to SWI-Prolog |
clp(fd) library, contributed a boolean constraint library, library(clpb). Enjoy!