Here is what looks like a very strange failure.
When I run the following, it does fine with the first input {Test 13 2 1 3}, but it fails on the long constraint line with the second input {Test 14 2 1 3}. Why should that happen?
-- Russ
=================================================
proc {Test CapA CapB CapC Goal}
TimesA TimesB TimesC TimesANeg TimesBNeg TimesCNeg
Vars = [TimesA TimesB TimesC TimesANeg TimesBNeg TimesCNeg]
in
{ForAll Vars proc {$ Var} {FD.decl Var} end}
{Show a#CapA#CapB#CapC#Goal}
CapA*(TimesA-TimesANeg) + CapB*(TimesB-TimesBNeg) + CapC*(TimesC-TimesCNeg) =: Goal
{Show b#CapA#CapB#CapC#Goal}
end
{Test 13 2 1 3}
{Test 14 2 1 3}
=================================================
The output is:
a#13#2#1#3
b#13#2#1#3
a#14#2#1#3
%***************************** failure **************************
%**
%** In statement: {FDP.sumCN 1#~1#1#~1#1#~1#~1 (14#_{0#134217726})#(14#_{0#134217726})#(2#_{0#134217726})#(2#_{0#134217726})#(1#_{0#134217726})#(1#_{0#134217726})#'#'(3) '=:' 0}
%**
%** Call Stack:
%** procedure 'FDSumCN' in file "d:/cygwin/home/bruni/Projects/Mozart/Sources/share/lib/compiler/RunTime.oz", line 286, column 3, PC = 16294232
%**--------------------------------------------------------------
%**
%** In statement: {FDP.sumCN 1#~1#1#~1#1#~1#~1 (14#_{0#134217726})#(14#_{0#134217726})#(2#_{0#134217726})#(2#_{0#134217726})#(1#_{0#134217726})#(1#_{0#134217726})#'#'(3) '=:' 0}
%**
%** Call Stack:
%** procedure 'FDSumCN' in file "d:/cygwin/home/bruni/Projects/Mozart/Sources/share/lib/compiler/RunTime.oz", line 286, column 3, PC = 16294232
%**--------------------------------------------------------------
_________________________________________________________________________________ mozart-users mailing list [email protected] http://www.mozart-oz.org/mailman/listinfo/mozart-users
