Issues

Issues

• Version 1.0.4 has invalid license-files in pyproject.toml, causing build failure

  pythological/kanren#91 · opened on Jun 20, 2025
  4

• The logic of the disequality constraint with multiple variables is incorrect

  pythological/kanren#85 · opened on Jun 14, 2024
  2

• Add type hints for Zzz's *args and **kwargs with ParamSpec

  pythological/kanren#76 · opened on Jan 29, 2023
  1

• Implement tabling

  pythological/kanren#65 · opened on Oct 5, 2022

• Investigate the use of e-graph/equality saturation

  pythological/kanren#64 · opened on Oct 5, 2022

• Add the microkanren paper to the README

  pythological/kanren#60 · opened on Sep 7, 2022
  1

• Remove recursive interleave calls

  pythological/kanren#59 · opened on Aug 10, 2022
  13

• Consider using WeakKeyDictionarys as states

  pythological/kanren#57 · opened on Aug 1, 2022

• Consider adding a ChainMap-like state class

  pythological/kanren#56 · opened on Aug 1, 2022

• Inspect kanren states generated by walko

  pythological/kanren#55 · opened on Jul 28, 2022

• Implement Pie

  pythological/kanren#50 · opened on Jun 11, 2022

• Relation helper (reflexive/symmetric/transitive)

  pythological/kanren#33 · opened on Mar 8, 2021
  7

• Introduce a non-cons constraint

  pythological/kanren#29 · opened on Mar 12, 2020

• Add Support for Hissp and Hy

  pythological/kanren#28 · opened on Mar 12, 2020

• __length_hint__ for goal and state streams

  pythological/kanren#26 · opened on Feb 23, 2020

• Allow multiple types in instanceo

  pythological/kanren#22 · opened on Jan 8, 2020

• Make applyo use constraints

  pythological/kanren#19 · opened on Jan 1, 2020
  3

• Override __setitem__ for constraints in the miniKanren state

  pythological/kanren#18 · opened on Dec 30, 2019

• Do less copying of ConstraintStores

  pythological/kanren#15 · opened on Dec 28, 2019

• Ambiguity with cons null and disequality constraint

  pythological/kanren#13 · opened on Dec 27, 2019