Module solvers 

Solvers for computational problems.

Re-exports

pub use ilp::ILPSolveError;

pub use ilp::ILPSolver;

Modules

decision_search

Decision-guided binary search for optimization via decision queries.

ilp

ILP (Integer Linear Programming) solver module.

Structs

BruteForce

Exact reference solver for variants with a registered finite enumeration.

CustomizedSolverCapability

Read-only metadata for a registered customized solver.

ExactProblemKey

Canonical identity of one concrete problem variant.

IlpSolverCapability

Read-only metadata for a registered fixed ILP pipeline.

SolveResult

Type-erased result returned by deterministic solver dispatch.

SolverCapabilities

Read-only solver capabilities for one exact problem variant.

Enums

RegistryBuildError

SolveError

Failure while solving a valid problem instance.

SolveOutcome

Semantic result of a completed solve under the selected backend’s numerical contract.

SolverExecution

Information about the backend execution that produced a solve result.

SolverRequest

Public solver override. Omission is represented by SolverRequest::Default.

Traits

BruteForceProblem

A problem with a finite Cartesian coordinate space for reference solving.

Functions

solve

Solve a loaded problem using deterministic exact-variant dispatch.

solver_capabilities

Return read-only solver metadata for one exact problem variant.