cKanren

Constraint programming language

Build status: ok failing tests missing license metadata

README Code
Authors
Documentation
    Tags
      License
        Last updatedThursday, May 11th, 2023 1:45:43pm (UTC)
        Ring1
        ConflictsNone
        Dependencies
        Most recent build results
        Version Exceptions
        VersionSourceChecksum
        defaultgithub://github.com/calvis/cKanren/master8714bdd442ca03dbf5b1d6250904cbc5fd275e68
        Last checkedSunday, December 7th, 2025 5:50:50pm (UTC)
        Last editedSunday, January 5th, 2014 10:10:32pm (UTC)
        Date addedN/A
        Modules
        • cKanren/absento.rkt
        • cKanren/tests/lazy-appendo.rkt
        • cKanren/eigen.rkt
        • cKanren/src/framework.rkt
        • cKanren/tests/fd.rkt
        • cKanren/tests/interp.rkt
        • cKanren/tests/ak.rkt
        • cKanren/unstable/interval-domain.rkt
        • cKanren/tests/nominal/alphaleantap.rkt
        • cKanren/miniKanren.rkt
        • cKanren/tree-unify.rkt
        • cKanren/src/substitution.rkt
        • cKanren/src/syntax-classes.rkt
        • cKanren/unstable/finite-domain.rkt
        • cKanren/testall.rkt
        • cKanren/src/constraints.rkt
        • cKanren/copy.rkt
        • cKanren/src/running.rkt
        • cKanren/tests/mk-struct.rkt
        • cKanren/src/mk-structs.rkt
        • cKanren/unstable/fd.rkt
        • cKanren/tests/absento.rkt
        • cKanren/src/queue.rkt
        • cKanren/tests/symbolo.rkt
        • cKanren/unstable/ak.rkt
        • cKanren/main.rkt
        • cKanren/src/variables.rkt
        • cKanren/tests/quines.rkt
        • cKanren/tests/sets.rkt
        • cKanren/tests/neq.rkt
        • cKanren/tests/numbero.rkt
        • cKanren/tests/tree-unify.rkt
        • cKanren/src/constraint-store.rkt
        • cKanren/tester.rkt
        • cKanren/tests/no-closure.rkt
        • cKanren/src/errors.rkt
        • cKanren/unstable/doc/manual.scrbl
        • cKanren/unstable/sets.rkt
        • cKanren/matche.rkt
        • cKanren/src/debugging.rkt
        • cKanren/tests/symbolo-numbero.rkt
        • cKanren/tests/nominal/nnf.rkt
        • cKanren/src/helpers.rkt
        • cKanren/src/events.rkt
        • cKanren/tests/mk.rkt
        • cKanren/tests/framework.rkt
        • cKanren/src/package.rkt
        • cKanren/src/operators.rkt
        • cKanren/src/macros.rkt
        • cKanren/src/lex.rkt
        • cKanren/src/infs.rkt
        • cKanren/src/triggers.rkt
        • cKanren/ck.rkt
        • cKanren/src/base.rkt
        • cKanren/attributes.rkt
        • cKanren/tests/infer.rkt
        • cKanren/tests/comp.rkt
        • cKanren/neq.rkt
        • cKanren/lang/reader.rkt