Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitLab.com / m4lvin / SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitLab.com/repositories/m4lvin%2FSMCDEL
Stars: 0
Forks: 0
Open Issues:
License: None
Language:
Dependencies:
45
Created: almost 5 years ago
Updated: about 1 year ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
smcdel.cabal
hackage
- base >=4.8 && <5 benchmark
- bytestring * benchmark
- cassava * benchmark
- criterion * benchmark
- directory * benchmark
- scientific * benchmark
- smcdel * benchmark
- split * benchmark
- time * benchmark
- vector * benchmark
- HasCacBDD >=0.1.0.3 && <0.2
- HasCacBDD >=0.1.0.1 && <0.2
- QuickCheck *
- ansi-terminal *
- array *
- base >=4.8 && <5
- containers *
- cudd ==0.1.0.0
- deepseq *
- directory *
- file-embed *
- filepath *
- graphviz *
- js-jquery >=3
- process *
- scotty *
- smcdel *
- tagged *
- template-haskell *
- temporary *
- text *
- time *
- warp *
- HasCacBDD * test
- QuickCheck * test
- base * test
- base >=4.8 && <5 test
- containers * test
- hspec * test
- process * test
- sandwich * test
- sandwich-webdriver * test
- smcdel * test
- text * test
- webdriver * test