Choco

进度：

model:

1. 实现 GB 统一接口。
2. 支持任意次连乘 Expression （GB不支持连乘，且最高二次）
3. 不等式约束自动转等式约束（线性约束二元优化情况）
4. 可转换为 GB Model（to_gurobi_model），使用optimize_with_gurobi 可通过 GB 求解（受GB表达限制，最高支持二次）
5. 自动转换 Choco-Q 所需内部数据结构

测试见 testbed.ipynb

已实现： 算法： Choco-Q、Cyclic、Hea、Penalty、New 提供器：AerGpuProvider、AerProvider、FakeBrisbaneProvider、FakeKyivProvider、FakeTorinoProvider、DdsimProvider 优化器：AdamOptimizer、CobylaOptimizer 测试见 testbed_1.py