Last released Aug 12, 2025
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.
Supported by