Def ValuedCSP.Instance.evalSolution

Modification history

2024-01-13 09:55

Mathlib/Combinatorics/Optimization/ValuedCSP.lean

chore(ValuedCSP): rename `ValuedCsp` to `ValuedCSP` (#9701)

Added ValuedCSP.Instance.evalSolution View on Github →