lib:agum

Modules

• Algebra.AbelianGroup.IntLinEq
• Algebra.AbelianGroup.UnificationMatching

Dependencies

• base lib:base <=4.1.0.0
• containers lib:containers >=0

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything