Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / jrclogic / SMCDEL
A symbolic model checker for Dynamic Epistemic Logic.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jrclogic%2FSMCDEL
Stars: 39
Forks: 9
Open Issues: 20
License: gpl-2.0
Language: Haskell
Repo Size: 14.1 MB
Dependencies:
45
Created: almost 9 years ago
Updated: 4 days ago
Last pushed: 4 days ago
Last synced: 4 days ago
Commit Stats
Commits: 161
Authors: 1
Mean commits per author: 161.0
Development Distribution Score: 0.0
More commit stats: https://commits.ecosyste.ms/hosts/GitHub/repositories/jrclogic/SMCDEL
Topics: epistemic-logic, haskell, logic, model-checking, symbolic
Files
Dependencies
- 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