1//! Core propositional formula satisfiability solver using the tableaux construction method. 2 3pub mod formula; 4pub mod tableaux_solver;