@hackage / zsyntax

Automated theorem prover for the Zsyntax biochemical calculus

Latest0.2.0.0

Dependencies

library:zsyntax (5 dependencies)

@hackage / base Core data structures and operations
- Version: >=4.7 && <5
- License: BSD-3-Clause
@hackage / constraints Constraint manipulation
- Version: >=0.10.1 && <0.11
- License: BSD-2-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.2.2 && <2.3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.0 && <0.7
- License: BSD-3-Clause
@hackage / multiset The Data.MultiSet container type
- Version: >=0.3.4 && <0.4
- License: BSD-3-Clause

test:zsyntax-test (5 dependencies)