1 2 3 4 5 6 7 8
//! # Solvers //! //! This module contains implementations of various solvers for the SAT problem. //! //! ## Available solvers //! //! * [`syntactic`] - A purely syntactic solver pub mod syntactic;