RosettaCodeData/Task/Knapsack-problem-Unbounded/Oz/knapsack-problem-unbounded.oz

25 lines
750 B
Plaintext

declare
proc {Knapsack Sol}
solution(panacea:P = {FD.decl}
ichor: I = {FD.decl}
gold: G = {FD.decl} ) = Sol
in
{Show 0#Sol}
3 * P + 2 * I + 20 * G =<: 250 {Show 1#Sol}
25 * P + 15 * I + 2 * G =<: 250 {Show 2#Sol}
{FD.distribute naive Sol} {Show d#Sol}
end
fun {Value solution(panacea:P ichor:I gold:G)}
3000 * P + 1800 * I + 2500 * G
end
{System.showInfo "Search:"}
[Best] = {SearchBest Knapsack proc {$ Old New}
{Value Old} <: {Value New}
end}
in
{System.showInfo "\nResult:"}
{Show Best}
{System.showInfo "total value: "#{Value Best}}