| Commit message (Expand) | Author | Files | Lines | |
|---|---|---|---|---|
| 2024-03-09 | Add dependencies CVXOPT for SOS and PrettyPrintTree for visualization | Nao Pross | 1 | -1/+91 |
| 2024-03-07 | Fix regression of algebra check | Nao Pross | 1 | -1/+12 |
| 2024-03-04 | Add VizTracer to development dependencies to analyze perf | Nao Pross | 1 | -1/+61 |
| 2024-03-03 | Setup Sphinx documentation generator | Nao Pross | 1 | -1/+173 |
| 2024-03-02 | Add missing dependencies | Nao Pross | 1 | -2/+2130 |
 |
index : ethz/semproj/mdpoly | |
| Multidimensional Polynomials | Linux User |
| aboutsummaryrefslogtreecommitdiffstats |