pub trait SatisfactionProblem: Problem<Metric = bool> { }Expand description
Marker trait for satisfaction (decision) problems.
Satisfaction problems evaluate configurations to bool:
true if the configuration satisfies all constraints, false otherwise.
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.