GitHub repository: madvorak/vcsp
Primary language: Lean
Created: 2023-10-06T15:38:38Z
Description: General-Valued Constraint Satisfaction Problems