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