| Name | Version | Summary | date |
|---|---|---|---|
| pygplib | 2.3.2 | Python First-Order Graph Property Library | 2024-12-05 10:13:43 |
| optimodel | 0.2.1 | Tools for generating ~shortest MILP and SAT models | 2024-07-03 08:14:57 |
| optisolveapi | 0.3.1 | Optimization & Solving common API (SAT, MILP, etc.) | 2024-07-03 07:13:53 |
| mqt.qusat | 1.1.2 | MQT QuSAT - A Tool for Utilizing SAT in Quantum Computing | 2024-07-02 19:37:34 |
| hour | day | week | total |
|---|---|---|---|
| 75 | 2386 | 10292 | 308384 |