Add parallelization function using cirq and linear programming

[jon-wurtz]

No description provided.

[codecov]

Codecov Report

Attention: Patch coverage is 81.20567% with 53 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
src/bloqade/cirq_utils/lineprog.py	76.88%	46 Missing ⚠️
src/bloqade/cirq_utils/parallelize.py	91.46%	7 Missing ⚠️

📢 Thoughts on this report? Let us know!

[github-actions]

☂️ Python Coverage

current status: ✅

Overall Coverage

Lines	Covered	Coverage	Threshold	Status
8338	7287	87%	0%	🟢

New Files

File	Coverage	Status
src/bloqade/cirq_utils/init.py	100%	🟢
src/bloqade/cirq_utils/lineprog.py	77%	🟢
src/bloqade/cirq_utils/parallelize.py	91%	🟢
TOTAL	89%	🟢

Modified Files

No covered modified files...

updated for commit: 6fcb826 by action🐍

[jon-wurtz]

Create a new helper function parallelize, which uses DAG representations of static circuits to find parallelism. The strategy uses linear programming, where each gate in the circuit is assigned a "time", where DAG constraints take the form t2-t1>1 in a linear constraint solver. The program is solved all at once with the qpsolvers package, for which I've added a few convenient wrappers to not have to deal with basis analysis.