webyrd / miniKanren-with-symbolic-constraintsLinks

Version of miniKanren I normally use. Has ==, =/=, symbolo, numbero, generalized absento constraints.
163Updated 8 years ago

Alternatives and similar repositories for miniKanren-with-symbolic-constraints

Users that are interested in miniKanren-with-symbolic-constraints are comparing it to the libraries listed below

Sorting: