problemreductions/models/algebraic/
mod.rs

1//! Algebraic problems.
2//!
3//! Problems whose input is a matrix, linear system, or lattice:
4//! - [`QUBO`]: Quadratic Unconstrained Binary Optimization
5//! - [`ILP`]: Integer Linear Programming
6//! - [`ClosestVectorProblem`]: Closest Vector Problem (minimize lattice distance)
7//! - [`BMF`]: Boolean Matrix Factorization
8
9pub(crate) mod bmf;
10mod closest_vector_problem;
11mod ilp;
12mod qubo;
13
14pub use bmf::BMF;
15pub use closest_vector_problem::{ClosestVectorProblem, VarBounds};
16pub use ilp::{Comparison, LinearConstraint, ObjectiveSense, VariableDomain, ILP};
17pub use qubo::QUBO;