@hackage / smcdel

Symbolic Model Checking for Dynamic Epistemic Logic

Latest1.3.0

Dependencies

library:smcdel (15 dependencies)

@hackage / containers Assorted concrete container types
- Version: >=0.6.7 && <0.7
- License: BSD-3-Clause
@hackage / text An efficient packed Unicode text type.
- Version: >=2.0.2 && <2.1
- License: BSD-2-Clause
@hackage / HasCacBDD Haskell bindings for CacBDD
- Version: >=0.2.0.0 && <0.3
- License: GPL-2.0-only
@hackage / temporary Portable temporary file and directory support
- Version: >=1.3 && <1.4
- License: BSD-3-Clause
@hackage / array Mutable and immutable arrays
- Version: >=0.5.4 && <0.6
- 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 / base Core data structures and operations
- Version: >=4.8 && <5
- License: BSD-3-Clause
@hackage / decision-diagrams Binary Decision Diagrams (BDD) and Zero-suppressed Binary Decision Diagrams (ZDD)
- Version: >=0.2.0 && <0.3
- License: BSD-3-Clause
@hackage / directory Platform-agnostic library for filesystem operations
- Version: >=1.3.7 && <1.4
- License: BSD-3-Clause
@hackage / graphviz Bindings to Graphviz for graph visualisation.
- Version: >=2999.20.2 && <2999.21
- License: BSD-3-Clause
@hackage / QuickCheck Automatic testing of Haskell programs
- Version: >=2.14.3 && <2.15
- License: BSD-3-Clause
@hackage / tagged Haskell 98 phantom types to avoid unsafely passing dummy arguments
- Version: >=0.8.0 && <0.9
- License: BSD-3-Clause
@hackage / time A time library
- Version: >=1.12.2 && <1.13
- License: BSD-2-Clause
@hackage / cudd Bindings to the CUDD binary decision diagrams library
- Version: ==0.1.0.0
- License: BSD-3-Clause
@hackage / process Process libraries
- Version: >=1.6.18 && <1.7
- License: BSD-3-Clause

executable:smcdel (6 dependencies)

executable:smcdel-web (10 dependencies)

test:CUDD (6 dependencies)

test:examples (5 dependencies)

test:k (5 dependencies)

test:translations (3 dependencies)

test:web (6 dependencies)

benchmark:bench-diningcrypto (3 dependencies)

benchmark:bench-muddychildren (9 dependencies)

benchmark:bench-sumandproduct (4 dependencies)

benchmark:sizes-diningcryptographers (9 dependencies)

benchmark:sizes-muddychildren (9 dependencies)

benchmark:sizes-sumandproduct (9 dependencies)