rsdd/
lib.rs

1//! Defines exports and the C api
2extern crate dimacs;
3extern crate pretty;
4extern crate primal;
5extern crate rand;
6#[macro_use]
7extern crate serde;
8extern crate bit_set;
9extern crate bumpalo;
10extern crate petgraph;
11extern crate quickcheck;
12extern crate rand_chacha;
13extern crate rustc_hash;
14extern crate segment_tree;
15
16#[macro_use]
17pub mod util;
18mod backing_store;
19pub mod builder;
20pub mod constants;
21pub mod plan;
22pub mod repr;
23pub mod serialize;
24
25#[cfg(target_arch = "wasm32")]
26pub mod wasm;
27
28// added feature flags to prevent double-exporting
29// when using rsdd-ocaml
30#[cfg(feature = "ffi")]
31mod ffi;