logicng 0.1.0-alpha.3

A Library for Creating, Manipulating, and Solving Boolean Formulas
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

mod pb_adder_networks;
mod pb_binary_merge;
mod pb_config;
mod pb_encoder;
mod pb_swc;

pub(crate) use pb_adder_networks::*;
pub(crate) use pb_binary_merge::*;
pub use pb_config::*;
pub use pb_encoder::*;
pub(crate) use pb_swc::*;

/// We deviate from the convention of putting unit tests in the source file in this case,
/// s.t. the files don't become too large
#[cfg(test)]
#[allow(non_snake_case)]
mod tests;