Steps 0
Cost 0
0 edits
Legend

Learn

Program

Hardware program

Source circuit

Architecture

export

Write a programme

Evaluation

Study notes · 08_torus4x4index
7.8 ms (jones) / 8.0 ms (transport) · 1.9 ions per transport instruction · not buildable · R10 by the Lean checker
every row and column a closed loop, 32 traps
or open #step=N