API Reference

Full API documentation is available at docs.rs/problemreductions or in the generated rustdoc.

Quick Links

Core Traits

• Problem - Base trait for all problems
• ConstraintSatisfactionProblem - CSP-specific trait
• ReduceTo - Reduction trait
• ReductionResult - Reduction result trait
• Solver - Solver trait

Problem Types

Graph

• IndependentSet
• VertexCovering
• MaxCut
• Coloring
• DominatingSet
• MaximalIS
• Matching

Optimization

• SpinGlass
• QUBO

Set

• SetCovering
• SetPacking

Satisfiability

• Satisfiability
• CircuitSAT
• Factoring

Utilities

• ReductionGraph
• TruthTable
• HyperGraph
• UnitDiskGraph