faster-minikanren

A fast implementation of miniKanren with disequality and absento.

Build status: ok passing tests missing license metadata

README Code
Authors
Documentation
    Tags
      License
        Language familiesRacket
        Last updatedSaturday, July 11th, 2026 11:27:04pm (UTC)
        Ring2
        Conflicts
        Dependencies
        Build platformsany platform
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaultgit://github.com/michaelballantyne/faster-miniKanrena25c70209800ab781983ace5c6840784bb32b4da
        Last checkedSaturday, August 8th, 2026 3:27:21am (UTC)
        Last editedSunday, September 25th, 2016 4:05:35am (UTC)
        Date addedN/A
        Modules
        • minikanren/private-unstable.rkt
        • minikanren/mk.rkt
        • minikanren/matche.rkt
        • minikanren/numbers.rkt
        • minikanren/simple-interp.rkt
        • minikanren/main.rkt
        • minikanren/full-interp.rkt