Base structure for general optimization problem solving #1

New issue

Closed

opened 2026-05-30 13:42:27 -06:00 by edjmir · 0 comments

edjmir commented

2026-05-30 13:42:27 -06:00

Owner

As a library consumer developer,

I want a well-defined set of contracts, models, and search spaces.

so that I can implement and solve optimization problems (single and multi-objective) in a consistent and extensible way.

Acceptance criteria

Abstract contracts exist for optimization problem, differentiable problems, and multi-objective problems.
An abstract contract exists for the search space.
Abstract contracts exist for solver, solver state, iteration, stop criteria, and result.
Constraint support is provided.
Pareto result support is provided.
A stop_reason enum exists to classify the possible termination causes of a solver.

### As a library consumer developer, **I want** a well-defined set of contracts, models, and search spaces. **so that I can** implement and solve optimization problems (single and multi-objective) in a consistent and extensible way. ### Acceptance criteria 1. Abstract contracts exist for optimization problem, differentiable problems, and multi-objective problems. 2. An abstract contract exists for the search space. 3. Abstract contracts exist for solver, solver state, iteration, stop criteria, and result. 4. Constraint support is provided. 5. Pareto result support is provided. 6. A `stop_reason` enum exists to classify the possible termination causes of a solver.