Commit 01625236 authored by Michael Hanus 's avatar Michael Hanus
Browse files

libs updated

parent e0fda078
......@@ -13,6 +13,8 @@ Changes to version 1.13.0:
It still suspends when comparing two variables or
one variable with a number or character.
* Prelude: operations `(===)` and `(&&>)` removed
* Libraries CLPFD and CLP.FD: labeling option `RandomVariable` added
(currently only supported by SWI-Prolog)
* Library Distribution: some load path handling operations
(`findFileInLoadPath`, `lookupFileInLoadPath`, `readFirstFileInLoadPath`,
`getLoadPath`, `getLoadPathForFile`) removed since they are deprecated
......
......@@ -63,6 +63,7 @@ translateLabelingOption('CLPFD.All',all) :- sicsLabel.
translateLabelingOption('CLPFD.Minimize'(DomVar),minimize(DomVar)) :- sicsLabel.
translateLabelingOption('CLPFD.Maximize'(DomVar),maximize(DomVar)) :- sicsLabel.
translateLabelingOption('CLPFD.Assumptions'(Var),assumptions(Var)) :- sicsLabel.
translateLabelingOption('CLPFD.RandomVariable'(Seed),random_variable(Seed)).
sicsLabel :- checkSICStusAndWarn('CLPFD.labeling: labeling options').
......
lib-trunk @ c5d323c8
Subproject commit 7df0a64212f75b0f2391e34cbb85acd4fcf08888
Subproject commit c5d323c87f513424ca1d77fe3cf2f2a604d89a13
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment