Last released Aug 24, 2026
A python package for rounding polytopes.
Last released Jun 6, 2024
Specify what you want it to build, the AI asks for clarification, and then builds it.