cKanren

Constraint programming language

Build status:

Authors
Documentation
Tags
Last updatedTuesday, August 15th, 2017 3:51:29pm (UTC)
Ring1
ConflictsNone
Dependencies
Most recent build results
    Version Exceptions
    VersionSourceChecksum
    defaultgithub://github.com/calvis/cKanren/master8714bdd442ca03dbf5b1d6250904cbc5fd275e68
    Last checkedMonday, February 18th, 2019 10:49:10am (UTC)
    Last editedSunday, January 5th, 2014 10:10:32pm (UTC)
    Date addedN/A
    Modules
    • cKanren/unstable/finite-domain.rkt
    • cKanren/src/errors.rkt
    • cKanren/tests/nominal/alphaleantap.rkt
    • cKanren/src/running.rkt
    • cKanren/tests/numbero.rkt
    • cKanren/src/constraint-store.rkt
    • cKanren/src/infs.rkt
    • cKanren/src/triggers.rkt
    • cKanren/miniKanren.rkt
    • cKanren/src/macros.rkt
    • cKanren/main.rkt
    • cKanren/tests/ak.rkt
    • cKanren/src/mk-structs.rkt
    • cKanren/unstable/interval-domain.rkt
    • cKanren/tests/fd.rkt
    • cKanren/neq.rkt
    • cKanren/tests/lazy-appendo.rkt
    • cKanren/tests/sets.rkt
    • cKanren/unstable/doc/manual.scrbl
    • cKanren/src/helpers.rkt
    • cKanren/tests/mk-struct.rkt
    • cKanren/src/syntax-classes.rkt
    • cKanren/testall.rkt
    • cKanren/tests/quines.rkt
    • cKanren/matche.rkt
    • cKanren/tests/interp.rkt
    • cKanren/src/operators.rkt
    • cKanren/tree-unify.rkt
    • cKanren/tests/nominal/nnf.rkt
    • cKanren/absento.rkt
    • cKanren/ck.rkt
    • cKanren/lang/reader.rkt
    • cKanren/src/constraints.rkt
    • cKanren/src/queue.rkt
    • cKanren/src/events.rkt
    • cKanren/src/base.rkt
    • cKanren/tests/mk.rkt
    • cKanren/tests/framework.rkt
    • cKanren/tests/neq.rkt
    • cKanren/tests/absento.rkt
    • cKanren/unstable/fd.rkt
    • cKanren/src/package.rkt
    • cKanren/unstable/ak.rkt
    • cKanren/src/variables.rkt
    • cKanren/unstable/sets.rkt
    • cKanren/src/framework.rkt
    • cKanren/tester.rkt
    • cKanren/src/debugging.rkt
    • cKanren/src/lex.rkt
    • cKanren/tests/symbolo-numbero.rkt
    • cKanren/tests/comp.rkt
    • cKanren/tests/no-closure.rkt
    • cKanren/src/substitution.rkt
    • cKanren/tests/tree-unify.rkt
    • cKanren/attributes.rkt
    • cKanren/tests/infer.rkt
    • cKanren/eigen.rkt
    • cKanren/tests/symbolo.rkt
    • cKanren/copy.rkt