paper mario orgami king [7958ff31]
Tags: personal
- Paper mario orgami king battles use "good" and "perfect" for when the battles in up properly
- How well can we solve this via SMT?
-
Two main targets:
- Hammer 2x2
- Boots 1x4
-
N moves:
- 4 rings
- Up/down
- Left right
-
Possible board states:
- 12 ring spokes
- 4 ring slots per spoke
- 48 total positions
-
Via constraints
-
12x4 array
- 0 as the horizontal index rotating clockwise
-
solve s.t. row is either:
- all filed (1,1,1,1)
- half filled (1,1,0,0)
-
movements: either shift backwards/upwards by any mount
- (1,1,0,0) -> (0,1,1,0), -> (0,0,1,1)
-
or upwards
- (0,0,0,0) & (0,0,0,1) -> (0,0,0,1) & (0,0,0,0)
-