This repository contains a pkg version of the original Planet package of minikanren by Dan Friedman.
This package additionally includes Scribble documentation.
Installation:
raco pkg install minikanren
For practical uses, take a look at cKanren instead. It extends miniKanren with better Racket integration and support for constraint programming.
Also see the canonical minikanren repository.