lib:constraint
Modules
Dependencies
- base lib:base >=4.10 && <5
- category lib:category >=0.1.2 && <0.3
- unconstrained lib:unconstrained >=0.1 && <0.2
Reverse dependencies
Direct only. Not exhaustive.
- computational-algebra bench:monomial-order-bench
- constrained-category lib:constrained-category
- constraint-reflection lib:constraint-reflection
- exist-instances lib:exist-instances