@hackage smcdel1.2.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 (13)
- array
- base >=4.8 && <5
- containers
- directory
- process
- text
Dependents (0)

See README.md and SMCDEL.pdf for references and documentation.