{"library":"minikanren","type":"library","category":null,"description":"minikanren is a Python library that provides a Domain Specific Language (DSL) for relational (logic) programming. It enables users to express sophisticated relations—in the form of goals—and generate values that satisfy these relations. The library is often used as an algorithmic core for Computer Algebra Systems and for the automated generation and optimization of numeric software. The current version is 1.0.5, with ongoing development and participation in miniKanren workshops across various language implementations. [2, 3]","language":"python","status":"active","version":"1.0.5","tags":["relational programming","logic programming","DSL","constraint programming","AI","symbolic computation"],"install":[{"cmd":"pip install minikanren","imports":["from kanren import run, eq, membero, var, lall"]}],"homepage":null,"github":"http://github.com/pythological/kanren","docs":null,"changelog":null,"pypi":"https://pypi.org/project/minikanren/","npm":null,"openapi_spec":null,"status_page":null,"smithery":null,"compatibility":{"summary":{"python_range":"3.10–3.9","success_rate":100,"avg_install_s":1.9,"avg_import_s":0.17,"wheel_type":"wheel"},"url":"https://checklist.day/v1/registry/minikanren/compatibility"},"provenance":{"verified_status":"passing","verified_at":"Sun Jun 28","last_verified":"Sun Jun 28","next_check":"Tue Jul 28","install_tag":null}}