GitHub repository: yglukhov/kiwi
Primary language: Nim
Created: 2016-12-30T11:43:38Z
Description: Constraint solving library