howzat
| Crates.io | howzat |
| lib.rs | howzat |
| version | 0.1.0 |
| created_at | 2026-01-13 15:16:10.003705+00 |
| updated_at | 2026-01-13 15:16:10.003705+00 |
| description | Dynamic description method primitives for polyhedra with pluggable numeric backends. |
| homepage | |
| repository | |
| max_upload_size | |
| id | 2040434 |
| size | 2,721,830 |
Keeley Hoek (khoek)
documentation
README
howzat
Dynamic double-description method for convex cones and polytopes. Small API, pluggable numeric backends, predictable behavior.
Features
- Cone/polytope primitives: Adjacency queries, tableau-based convex hull routines.
- Backend-agnostic: Works with
rug(GMP) ordashu(pure-Rust) arbitrary precision. - Minimal footprint: Few dependencies, optional tracing for debugging.
Example
use howzat::dd::Cone;
let generators = vec![vec![1, 0], vec![0, 1], vec![1, 1]];
let cone = Cone::from_generators(&generators)?;
let adjacency = cone.vertex_adjacency()?;
assert_eq!(adjacency.num_vertices(), 3);
License
AGPL-3.0-only. See LICENSE for details.