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