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} endAfter clicking on the solution node, the Browser shows
1#54