(1 - 18 from 20
)
News -- Markus Triska added clp(b) to SWI-Prolog
www.swi-prolog.org
Markus Triska added clp(b) to SWI-Prolog ... Markus Triska, the author of SWI-Prolog's clp(fd) library, contributed a boolean constraint library, ...
sorted by relevance / date