bloqade.lanes.heuristics.move_synthesis
move_synthesis¶
bloqade.lanes.heuristics.move_synthesis
Move synthesis: layout transition to move layers.
Given an architecture spec and two concrete states (before/after layouts), computes the sequence of move layers using the Rust MoveSolver.