Last released Apr 27, 2024
Specify what you want it to build, the AI asks for clarification, and then builds it.
Last released Jun 1, 2023
A python package for rounding polytopes.
Supported by