VCSP theory

Stream: mathlib4

[Martin Dvořák]

Is the theory of General-Valued Constraint Satisfaction Problems in the scope of Mathlib?
Currently I seem to be the only one working on it here.

What I contributed so far:
https://github.com/leanprover-community/mathlib4/blob/master/Mathlib/Combinatorics/Optimization/ValuedCSP.lean

What I was going to contribute in the future:
https://github.com/madvorak/vcsp

[Yaël Dillies]

It's definitely in scope but I can't help with reviewing, sorry!