Did you know ... Search Documentation:
Markus Triska added clp(b) to SWI-Prolog
0 upvotes 0 0 downvotes
Picture of user Jan Wielemaker.
Markus Triska, the author of SWI-Prolog's clp(fd) library, contributed a boolean constraint library, library(clpb). Enjoy!
Back to fresh news items