Module solvers 

Solvers for computational problems.

Re-exports

pub use customized::CustomizedSolver;

pub use ilp::ILPSolver;

Modules

customized

Customized solver module.

decision_search

Decision-guided binary search for optimization via decision queries.

ilp

ILP (Integer Linear Programming) solver module.

Structs

BruteForce

A brute force solver that enumerates all possible configurations.

Traits

Solver

Trait for problem solvers.