GitHub repository: webyrd/miniKanren-with-symbolic-constraints
Primary language: Scheme
Created: 2015-01-15T02:49:06Z
Description: Version of miniKanren I normally use.  Has ==, =/=, symbolo, numbero, generalized absento constraints.