elina-rs

This library provides a safe Rust abstraction over the ELINA C library. To learn more about ELINA, see their GitHub and website.

Installation

You need ELINA installed to link this crate. Currently, you also need the ELINA header files installed to build this crate, but this may change in the future.
See ELINA's website for instructions on how to install ELINA.

After you've installed ELINA, you can add this crate as a dependency in your Cargo.toml: toml [dependencies] elina = "0.1.1"

Usage

Please read the API documentation.

See examples/showcase.rs for an example.
You can run the example with cargo run --example showcase