//! Internal modules for rate

pub mod config;
#[macro_use]
pub mod macros;
pub mod output;
#[macro_use]
pub mod memory;
pub mod assignment;
pub mod clause;
pub mod clausedatabase;
mod features;
pub mod literal;
pub mod parser;
pub mod sick;