problemreductions/models/
mod.rs

1//! Problem model implementations.
2//!
3//! Each sub-module groups related problem types by input structure.
4
5pub mod algebraic;
6pub mod formula;
7pub mod graph;
8pub mod misc;
9pub mod set;
10
11// Re-export commonly used types
12pub use algebraic::{ClosestVectorProblem, BMF, ILP, QUBO};
13pub use formula::{CNFClause, CircuitSAT, KSatisfiability, Satisfiability};
14pub use graph::{
15    BicliqueCover, GraphPartitioning, KColoring, MaxCut, MaximalIS, MaximumClique,
16    MaximumIndependentSet, MaximumMatching, MinimumDominatingSet, MinimumFeedbackVertexSet,
17    MinimumVertexCover, SpinGlass, TravelingSalesman,
18};
19pub use misc::{BinPacking, Factoring, Knapsack, PaintShop, SubsetSum};
20pub use set::{MaximumSetPacking, MinimumSetCovering};