Def ValuedCsp.Instance

Modification history

2023-11-27 11:06

Mathlib/Combinatorics/Optimization/ValuedCSP.lean

chore: `ValuedCsp` and `ValuedCsp.Instance` changed from `def` to `abbrev` (#8623)

Deleted ValuedCsp.Instance View on Github →

2023-10-24 10:48

Mathlib/Combinatorics/Optimization/ValuedCSP.lean

General valued constraint satisfaction problem defined (#7404)

Added ValuedCsp.Instance View on Github →