Commit 2024-01-13 09:55 bd7c5489

View on Github →

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

Estimated changes

Modified Mathlib/Combinatorics/Optimization/ValuedCSP.lean

added def ValuedCSP.Instance.IsOptimumSolution

added def ValuedCSP.Instance.evalSolution

added def ValuedCSP.Term.evalSolution

added structure ValuedCSP.Term

deleted def ValuedCsp.Instance.IsOptimumSolution

deleted def ValuedCsp.Instance.evalSolution

deleted def ValuedCsp.Term.evalSolution

deleted structure ValuedCsp.Term