Jump to content

Dinesman's multiple-dwelling problem: Difference between revisions

m
(Added Bracmat)
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
483

edits

Cookies help us deliver our services. By using our services, you agree to our use of cookies.