Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
Package Usage: hackage: smcdel
See README.md and SMCDEL.pdf for references and documentation.
3 versions
Latest release: over 2 years ago
1,105 downloads total
View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/smcdel
View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/jrclogic%2FSMCDEL
Dependent Repos 2
jrclogic/SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.- * smcdel.cabal
- * smcdel.cabal
- * smcdel.cabal
Size: 14.1 MB - Last synced: about 1 month ago - Pushed: about 1 month ago
m4lvin/SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.- * smcdel.cabal
- * smcdel.cabal
- * smcdel.cabal
Last synced: about 1 year ago
minicast/SMCDEL Fork of jrclogic/SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.- * smcdel.cabal
- * smcdel.cabal
Size: 2.78 MB - Last synced: over 1 year ago - Pushed: over 8 years ago