Def ValuedCsp.Instance.evalSolution

Modification history

2024-01-13 09:55

Mathlib/Combinatorics/Optimization/ValuedCSP.lean

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

Deleted ValuedCsp.Instance.evalSolution View on Github →

2023-10-24 10:48

Mathlib/Combinatorics/Optimization/ValuedCSP.lean

General valued constraint satisfaction problem defined (#7404)

Added ValuedCsp.Instance.evalSolution View on Github →