cddlib-sys 0.3.1

Raw FFI bindings to 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
35
36

# cddlib-sys

Raw FFI bindings to [cddlib](https://github.com/cddlib/cddlib) for convex
polyhedra via the double-description method. Builds a static cddlib (and
uses `gmp-mpfr-sys` for the GMP-backed backends.

By default, `gmp-mpfr-sys` builds GMP from source and links it into the build
(no system GMP dependency). If you need ABI-level interop with a system GMP
(e.g. embedding into a host that already links GMP), enable `use-system-gmp`
and provide the GMP development headers + libraries (e.g. `gmp.h` + `libgmp`).

## Features

| Feature | Description |
|---------|-------------|
| `f64` | Build the f64 backend |
| `gmp` | Build the GMPFLOAT backend |
| `gmprational` | Build the GMPRATIONAL backend |
| `tools` | Build cddlib CLI tools alongside the library |
| `use-system-gmp` | Use system GMP via `gmp-mpfr-sys/use-system-libs` |

All numeric backends are enabled by default. Use `--no-default-features` to
select a subset.

## Vendored versions

- cddlib `0.94n` (`vendor/cddlib-0.94n.tar.gz`)

## Modules

Bindings are exposed under backend-specific modules: `cddlib_sys::f64`,
`cddlib_sys::gmpfloat`, and `cddlib_sys::gmprational`.

## License

GPL-2.0-or-later (inherited from cddlib). See `LICENSE` for details.