//! Core propositional formula satisfiability solver using the tableaux construction method.

pub mod formula;
pub mod tableaux_solver;