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 TargetSolver.

• SearchEngine
• TargetSolver
• compute_move_layers
• move_to_entangle
• move_to_left

View bloqade.lanes.heuristics.move_synthesis.SearchEngine →View bloqade.lanes.heuristics.move_synthesis.TargetSolver →View bloqade.lanes.heuristics.move_synthesis.compute_move_layers →View bloqade.lanes.heuristics.move_synthesis.move_to_entangle →View bloqade.lanes.heuristics.move_synthesis.move_to_left →