Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

hackage.haskell.org "model-checking" keyword

smcdel 1.3.0
See README.md for references and documentation.
4 versions - Latest release: almost 2 years ago - 1 dependent package - 2 dependent repositories - 1.35 thousand downloads total - 49 stars on GitHub - 1 maintainer
Related Keywords
gpl 1 library 1 logic 1 Propose Tags 1 epistemic-logic 1 haskell 1 symbolic 1