cddlib-rs 0.3.4

Idiomatic Rust bindings around cddlib.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

# cddlib-rs

Safe Rust bindings over `cddlib-sys`. Wraps cddlib's double-description
routines for convex polyhedra without exposing raw pointers.

## Features

- **Safe wrappers**: Matrices, polyhedra, and LP solutions with RAII lifetime management.
- **Multiple backends**: `f64`, `CddFloat`, `CddRational`---selectable via generics.
- **Familiar API**: Compute facets, generators, and widths using standard Rust types.

## Example

```rust
use cddlib_rs::{CddRational, Matrix, Polyhedron};

let verts = vec![vec![0.0, 0.0], vec![1.0, 0.0], vec![0.0, 1.0]];

// Inferred scalar type (`f64` here).
let poly = Polyhedron::from_vertex_rows(&verts)?;

// Convert to exact rationals.
let m_f64 = Matrix::from_vertex_rows(&verts)?;
let m_rat: Matrix<CddRational> = m_f64.convert()?;
let poly_exact = Polyhedron::from_matrix(&m_rat)?;

let facets = poly_exact.facets()?;
```

All backends enabled by default. `Matrix` and `Polyhedron` default to `f64`.

## License

AGPL-3.0-only. See `LICENSE` for details.