Commit 2023-12-12 19:59 15f64745
View on Github →feat({ Tactic + test }/MoveAdd): make And/Or left-associative (#8607)
In this Zulip discussion it was pointed out that move_oper always assumes right-associativity also for And/Or.
This PR makes move_oper left-associative on And/Or.
Affected files:
Tactic/MoveAdd
test/MoveAdd