General-Valued Constraint Satisfaction Problems
linear-programming
constraint-satisfaction-problem
combinatorial-optimization
lean4
symmetric-fractional-polymorphism
-
Updated
Jun 11, 2024 - Lean