cKanren

Constraint programming language

Build status: ok failing tests missing license metadata

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 checkedMonday, October 14th, 2024 4:44:48am (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