GitHub repository: namin/clpsmt-miniKanren
Primary language: Scheme
Created: 2018-04-12T14:14:59Z
Description: CLP(SMT) on top of miniKanren