Open triska opened 7 years ago
An interesting use case for the global constraint nvalue/2 is described by @hugoferreira at:
nvalue/2
http://stackoverflow.com/questions/41496348/equivalent-of-nvalue-2-from-sicstus-in-swiprolog
For example, if one is trying to distribute stuff into bags of different sizes, and want to minimize the number of bags.
A working implementation of nvalue/2 is now available in CLP(Z).
It should become a bit stronger, and also detect entailment.
An interesting use case for the global constraint
nvalue/2is described by @hugoferreira at:http://stackoverflow.com/questions/41496348/equivalent-of-nvalue-2-from-sicstus-in-swiprolog
A working implementation of
nvalue/2is now available in CLP(Z).It should become a bit stronger, and also detect entailment.