{"name":"py312-logical-unification","portdir":"python/py-logical-unification","version":"0.4.7","license":"BSD","platforms":"{darwin any}","epoch":0,"replaced_by":null,"homepage":"https//github.com/pythological/unification/","description":"Logical unification in Python","long_description":"Logical unification in Python","active":true,"categories":["python"],"maintainers":[{"name":"reneeotten","github":"reneeotten","ports_count":2213}],"variants":[],"dependencies":[{"type":"build","ports":["clang-18","py312-setuptools","py312-wheel","py312-setuptools_scm","py312-build","py312-installer"]},{"type":"lib","ports":["py312-multipledispatch","py312-toolz","python312"]}],"depends_on":[{"type":"lib","ports":["py312-pytensor","py312-aesara","py312-cons","py312-minikanren"]}]}