{"name":"py310-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":2104}],"variants":[],"dependencies":[{"type":"build","ports":["clang-18","py310-wheel","py310-build","py310-installer","py310-setuptools","py310-setuptools_scm"]},{"type":"lib","ports":["py310-toolz","py310-multipledispatch","python310"]}],"depends_on":[{"type":"lib","ports":["py310-pytensor","py310-aesara","py310-cons","py310-minikanren"]}]}