local
proc {Bike I}
Factor = 12 % a guess necessary due to Finite Domains
M D
in
{FD.decl I}
M = 45 * Factor
D = 12 * Factor
M + I =: 3 * (D + I)
{FD.distribute ff [I]}
end
in
{ExploreOne Bike}
end
After clicking on the solution node, the Browser shows
1#54