Module traits

Module traits 

Source
Expand description

Core traits for problem definitions.

Traits§

DeclaredVariant
Marker trait for explicitly declared problem variants.
OptimizationProblem
Extension for problems with a numeric objective to optimize.
Problem
Minimal problem trait — a problem is a function from configuration to metric.
SatisfactionProblem
Marker trait for satisfaction (decision) problems.