@hackage smcdel1.3.0

Symbolic Model Checking for Dynamic Epistemic Logic

Categories
License
GPL-2.0-only
Maintainer
Malvin Gattinger <malvin@w4eg.eu>
Links
Versions
- 1.3.0 Wed, 24 Apr 2024
- 1.2.0 Tue, 22 Feb 2022
- 1.1.0 Mon, 9 Dec 2019
- 1.0.0 Mon, 26 Feb 2018

Installation
In your cabal file:
Dependencies (15)
- array >=0.5.4 && <0.6
- base >=4.8 && <5
- containers >=0.6.7 && <0.7
- directory >=1.3.7 && <1.4
- filepath >=1.4.2 && <1.5
- process >=1.6.18 && <1.7
Dependents (0)

Package Flags

cli

(on by default)

web

(off by default)

with-cudd

(off by default)

See README.md for references and documentation.