@hackage / GenZ

Generic Sequent Calculus Prover using the Zipper

Latest0.1.0.0

Dependencies

library:GenZ (14 dependencies)

@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.4.3 && <2.19
- License: BSD-3-Clause
@hackage / graphviz Bindings to Graphviz for graph visualisation.
- Version: >=2999.20.2 && <2999.21
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.8 && <5
- License: BSD-3-Clause
@hackage / filepath Library for manipulating FilePaths in a cross platform way.
- Version: >=1.4.2 && <1.5
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5.4 && <0.6
- License: BSD-3-Clause
@hackage / temporary Portable temporary file and directory support
- Version: >=1.3 && <1.4
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.6.7 && <0.7
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.6.18 && <1.7
- License: BSD-3-Clause
@hackage / hspec A Testing Framework for Haskell
- Version: >=2.10.10 && <2.12
- License: MIT
@hackage / bytestring Fast, compact, strict and lazy byte strings with a list interface
- Version: >=0.11.5 && <0.12
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3.7 && <1.4
- License: BSD-3-Clause
@hackage / tagged Haskell 98 phantom types to avoid unsafely passing dummy arguments
- Version: >=0.8.7 && <0.9
- License: BSD-3-Clause
@hackage / random Pseudo-random number generation
- Version: >=1.2.1 && <1.4
- License: BSD-3-Clause
@hackage / multiset The Data.MultiSet container type
- Version: >=0.3.4 && <0.4
- License: BSD-3-Clause

executable:form-size (15 dependencies)

executable:genz (16 dependencies)

executable:genz-web (21 dependencies)

executable:tptp-size (15 dependencies)

test:Test (15 dependencies)

benchmark:memory (16 dependencies)

benchmark:runtime (20 dependencies)