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

View the packages on the hackage.haskell.org package registry that are tagged with the "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.33 thousand downloads total - 47 stars on GitHub - 1 maintainer
Related Keywords
gpl 1 library 1 logic 1 Propose Tags 1 epistemic-logic 1 haskell 1 symbolic 1