Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/madvorak/vcsp
General-Valued Constraint Satisfaction Problems — playground for experiments preceding my contribution to Mathlib
combinatorial-optimization constraint-satisfaction-problem lean4 linear-programming symmetric-fractional-polymorphism
Last synced: 24 Mar 2024
![](https://github.com/madvorak.png)