GitHub repository: sarvex/miniKanren-with-symbolic-constraints
Primary language: Scheme
Description: Version of miniKanren I normally use.  Has ==, =/=, symbolo, numbero, generalized absento constraints.