problemreductions/models/satisfiability/
mod.rs

1//! Satisfiability problems.
2//!
3//! This module contains Boolean satisfiability problems:
4//! - [`Satisfiability`]: Boolean satisfiability (SAT) with CNF clauses
5//! - [`KSatisfiability`]: K-SAT where each clause has exactly K literals
6
7mod ksat;
8mod sat;
9
10pub use ksat::KSatisfiability;
11pub use sat::{CNFClause, Satisfiability};
12
13// Validation utilities
14pub use sat::is_satisfying_assignment;