SimuQ Solver

The solver of SimuQ.

The solver contains three steps: (1) find an alignment of target sites and machine sites. (2) synthesize the target Hamiltonian with instructions without considering mutually exclusiveness. (3) trotterize the resulting boxes of instructions.

The detailed descriptions are left in the implementations.