Data

Tools

Indexes

Applications

Experiments

Packages

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

pub.dev "unification" keyword

View the packages on the pub.dev package registry that are tagged with the "unification" keyword.

unification 0.1.15
An implementation of logical first-order unification for logic programming in dart.
18 versions - Latest release: about 6 years ago - 1 dependent package - 1 dependent repositories - 3 stars on GitHub
Related Keywords
algorithm 1 dart 1 flutter 1 flutter-package 1 logic 1 pattern-matching 1