Details
-
Type:
Enhancement
-
Status:
Open
-
Priority:
Minor
-
Resolution: Unresolved
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: None
-
Labels:None
Description
SWI-Prolog's CLP(FD) module has this functionality http://www.swi-prolog.org/man/clpfd.html