Module run 

Structs

ChannelProgressCallback

Enums

AnyTermination

Monomorphized termination enum for config-driven solver configurations.

Functions

build_termination

Builds a termination from config, returning both the termination and the time limit.

log_solve_start

run_solver

run_solver_with_config