@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

See README.md for references and documentation.

Installation
In your cabal file:
Dependencies (0)
Dependents (0)

Package Flags

cli

(on by default)

web

(off by default)

with-cudd

(off by default)