bloqade.lanes.heuristics.move_synthesis.MoveSolver

← Module overview

classMoveSolver¶source

bloqade.lanes.heuristics.move_synthesis.MoveSolver

Reusable move synthesis solver.

class MoveSolver

Public import paths

• from bloqade.lanes.bytecode import MoveSolver
• from bloqade.lanes.heuristics.physical.nohome import MoveSolver
• from bloqade.lanes.heuristics.logical.placement import MoveSolver
• from bloqade.lanes.heuristics.physical.movement import MoveSolver
• from bloqade.lanes.heuristics.physical.no_return import MoveSolver
• from bloqade.lanes.heuristics.physical.receding_horizon import MoveSolver

Constructed once from an architecture specification. The constructor parses the spec and precomputes lane indexes. Then solve() can be called multiple times with different placements.