GitHub repository: pvdz/fdp
Primary language: JavaScript
Description: Finite Domain Preprocessor / Constraint Reduction System