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...

Changelog #

0.1.0 #

  • Initial version.

← Metadata

1
likes
0
points
41
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