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