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

libs updated

parent 95a661ea
......@@ -64,6 +64,7 @@ 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)).
translateLabelingOption('CLPFD.RandomValue'(Seed),random_value(Seed)).
sicsLabel :- checkSICStusAndWarn('CLPFD.labeling: labeling options').
......
lib-trunk @ 24299c32
Subproject commit c5d323c87f513424ca1d77fe3cf2f2a604d89a13
Subproject commit 24299c32d606c2e141b78dc0ca0ca25f35eb7c49
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