{"added":null,"apiVersion":1,"behindSince":null,"buildDepends":[],"categories":["devel","python"],"comment":"Logic/relational programming in Python","compare":null,"dependentCount":null,"description":"miniKanren is an extensible, lightweight relational/logic programming DSL\nwritten in pure Python.","flavors":[],"html":"https://daemonports.org/dragonfly/devel/py-miniKanren/","kind":"port","lastUpdate":null,"license":["BSD3CLAUSE"],"maintainer":"yuri@FreeBSD.org","name":"py311-miniKanren","newest":false,"newestVersion":"1.0.5","noVulnData":false,"origin":"devel/py-miniKanren","otherSystems":[{"maintainer":"yuri@FreeBSD.org","newest":true,"origin":"devel/py-miniKanren","path":"/devel/py-miniKanren/","system":"FreeBSD","updated":"2026-07-10","version":"1.0.5_1"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"devel/py-miniKanren","path":"","system":"HardenedBSD","version":"1.0.5_1"},{"maintainer":"yuri@FreeBSD.org","newest":true,"noVulnData":true,"origin":"devel/py-miniKanren","path":"","system":"GhostBSD","version":"1.0.5_1"}],"packages":null,"pkgName":"py311-miniKanren-1.0.3_1","related":null,"repository":"DPorts","requiredBy":["math/py-pytensor"],"requiredByCount":1,"runDepends":["devel/py-cons","devel/py-etuples","devel/py-multipledispatch","devel/py-toolz","devel/py-typing-extensions","lang/python311","math/py-logical-unification"],"status":null,"system":"dragonfly","systemLabel":"DragonFly","version":"1.0.3_1","versions":null,"vulnerabilities":null,"www":"https://github.com/pythological/kanren"}