:: safe? ( board q -- ? )
[let q board nth :> x
- q <iota> [
- x swap
- [ board nth ] keep
- q swap -
- [ + = not ]
- [ - = not ] 3bi and
- ] all?
+ q <iota> [
+ x swap
+ [ board nth ] keep
+ q swap -
+ [ + = not ]
+ [ - = not ] 3bi and
+ ] all?
] ;
: solution? ( board -- ? )