@hackage / HTab

Tableau based theorem prover for hybrid logics

Latest1.7.3

Dependencies

executable:htab (8 dependencies)

@hackage / deepseq Deep evaluation of data structures
- Version:
- License: BSD-3-Clause
@hackage / base Core data structures and operations
- Version: >=4.10
- License: BSD-3-Clause
@hackage / cmdargs Command line argument processing
- Version: >=0.10.10
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: <3
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version:
- License: BSD-3-Clause
@hackage / strict Strict data types and String IO.
- Version:
- License: BSD-3-Clause
@hackage / hylolib Tools for hybrid logics related programs
- Version: >=1.5.1
- License: LicenseRef-GPL
@hackage / random Pseudo-random number generation
- Version:
- License: BSD-3-Clause