Revision as of 10:52, 5 December 2011 view source Bartj (talk \| contribs) 483 edits Added Bracmat ← Older edit		Revision as of 10:59, 5 December 2011 view source Bartj (talk \| contribs) 483 edits m →‎{{header\|Bracmat}} Newer edit →
Line 18: : ~(Fletcher ?\|? Fletcher) : ? Cooper ? Miller ? : ~(? Smith Fletcher ?\|? Fletcher Smith ?) : ~(? Cooper Fletcher ?\|? Fletcher Cooper ?) ) & ( solution = floors persons A Z person . !arg:(?floors.?persons) & ( !persons:&constraints$!floors ~~& constraints$!floors~~ \| !persons : ?A

Dinesman's multiple-dwelling problem: Difference between revisions