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!