Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pub.dev "unification" keyword

unification 0.1.15
An implementation of logical first-order unification for logic programming in dart.
18 versions - Latest release: over 4 years ago - 1 dependent package - 1 dependent repositories - 3 stars on GitHub