Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / adamwalker / syntcomp
Synthesis competition entry
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/adamwalker%2Fsyntcomp
Stars: 3
Forks: 3
Open Issues: 2
License: bsd-3-clause
Language: Haskell
Repo Size: 47.9 KB
Dependencies:
14
Created: about 10 years ago
Updated: 7 months ago
Last pushed: almost 5 years ago
Last synced: 7 months ago
Files
Loading...
Readme
Loading...
Dependencies
simplebddsolver.cabal
hackage
- async >=2.1 && <3
- attoparsec >=0.11 && <0.14
- base >=4.7 && <5
- containers >=0.5 && <0.7
- cudd ==0.1.*
- directory >=1.2 && <1.4
- errors *
- mtl >=2.1 && <2.3
- optparse-applicative >=0.8 && <0.15
- safe ==0.3.*
- simplebddsolver *
- text >=1.1 && <1.3
- transformers *
- tuple >=0.2 && <0.4