evolution 0.1.0 copy "evolution: ^0.1.0" to clipboard
evolution: ^0.1.0 copied to clipboard

Published 6 years ago • verified publisherwelopment.comDart 3 incompatible• Latest: 0.1.11
outdated
→

Metadata

Unification is an implementation of logical first-order unification. It follows Robinson's algorithm, and uses trampolining to avoid stack size limitation issues.

More...

-/ -
pub points
33
downloads

This package version is not analyzed. Check the latest stable version for its analysis.

Check the analysis log for details.

Weekly downloads

Display as:
By versions:

← Metadata

1
likes
0
points
33
downloads

Publisher

verified publisherwelopment.com

Weekly Downloads

Metadata

Unification is an implementation of logical first-order unification. It follows Robinson's algorithm, and uses trampolining to avoid stack size limitation issues.

Repository (GitHub)
View/report issues

License

unknown (license)

More

Packages that depend on evolution

Back