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
pub(crate) mod exceptions;
/// Module for anonymizing formulas in files.
pub mod file_anonymizer;
/// Module for generating random formulas.
pub mod formula_randomizer;
pub(crate) mod n_queens_generator;
#[cfg(test)]
pub(crate) mod test_formula_corner_cases;
#[cfg(test)]
pub(crate) mod test_util;