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