Skip to content

Fix: assume Move when the move_trait feature is not added - #2

Closed
zannabianca1997 wants to merge 3 commits into
nia-e:move-traitfrom
zannabianca1997:next-solver-assume-move
Closed

Fix: assume Move when the move_trait feature is not added#2
zannabianca1997 wants to merge 3 commits into
nia-e:move-traitfrom
zannabianca1997:next-solver-assume-move

Fix: assume Move when the `move_trait` feature is not added

63b1c9d
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs