logical-unification has 1.2M monthly downloads and 53 GitHub stars. Version 0.4.7 supports Python 3.9+, first published in 2019.
It is stably maintained under a permissive license, last released in Oct 2025.
It is built on top of multipledispatch and toolz. It is used by 8 tracked packages, including pytensor, cons and minikanren.
GitHub topics include unification, multiple-dispatch and logic-programming.
Package Insights
- Moderate bus factor: only 6 contributor(s) for this download volume
((week_daily_avg - month_daily_avg) / month_daily_avg) * 100Weekly Downloads
GitHub Stars
Downloads by OS
Python Versions
Top Countries
Dependencies
1 optional dependencies
- pytest[test]