A microKanren framework for implementing constraints.
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
LICENSE
paper-code.rkt
single-file-system.rkt
usage.rkt