pub.dev : unification
An implementation of logical first-order unification for logic programming in dart.
Registry
-
Source
- Documentation
- JSON
- codemeta.json
purl: pkg:pub/unification
Keywords:
algorithm
, dart
, flutter
, flutter-package
, logic
, pattern-matching
, unification
License: MIT
Latest release: about 6 years ago
First release: over 7 years ago
Dependent packages: 1
Dependent repositories: 1
Stars: 3 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 22 days ago
unify 0.2.3
An implementation of logical unification for dart and flutter based on the algorithm by Ruzicka u...10 versions - Latest release: almost 6 years ago - 1 dependent package - 1 dependent repositories - 1 stars on GitHub
Check this option to include packages that no longer depend on this package in their latest version but previously did.