A Rust library that defines data structures and methods for constructing polytopes
Primary LanguageRustApache License 2.0Apache-2.0