GitHub repository: rvs314/faster-clpset-minikanren
Primary language: Scheme
Description: A fast implementation of miniKanren with CLP(Set) constraints, disequality and absento.