problemreductions/models/mod.rs
1//! Problem model implementations.
2//!
3//! This module contains implementations of various NP-hard problems.
4//!
5//! # Problem Categories
6//!
7//! - **Satisfiability**: SAT, K-SAT, CircuitSAT, Factoring
8//! - **Graph**: IndependentSet, MaximalIS, VertexCovering, DominatingSet, Coloring, Matching
9//! - **Set**: SetCovering, SetPacking
10//! - **Optimization**: MaxCut, SpinGlass, QUBO
11//! - **Specialized**: Paintshop, BicliqueCover, BMF
12
13pub mod graph;
14pub mod optimization;
15pub mod satisfiability;
16pub mod set;
17pub mod specialized;
18
19// Re-export commonly used types
20pub use graph::{
21 Coloring, DominatingSet, IndependentSet, Matching, MaxCut, MaximalIS, VertexCovering,
22};
23pub use optimization::{SpinGlass, QUBO};
24pub use satisfiability::{CNFClause, Satisfiability};
25pub use set::{SetCovering, SetPacking};
26pub use specialized::{BicliqueCover, CircuitSAT, Factoring, PaintShop, BMF};