uhc-light: Part of UHC packaged as cabal/hackage installable library
A light variant of UHC including only an API and an executable for compiling to Core representation. This version is just to test the infrastructure. Later versions will provide a fleshing out of the API etc..
Downloads
- uhc-light-1.1.7.2.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
| Versions [RSS] | 1.1.7.0, 1.1.7.1, 1.1.7.2, 1.1.7.3, 1.1.7.4, 1.1.8.0, 1.1.8.1, 1.1.8.2, 1.1.8.3, 1.1.8.4, 1.1.8.5, 1.1.8.6, 1.1.8.7, 1.1.8.10, 1.1.9.0, 1.1.9.1, 1.1.9.2, 1.1.9.3, 1.1.9.4, 1.1.9.5, 1.1.10.0 |
|---|---|
| Change log | changelog.md |
| Dependencies | array, base (>=4 && <5), binary, bytestring, containers, directory, fgl, hashable (>=1.1 && <1.3), mtl, network, old-locale, primitive, process, syb, uhc-light (==1.1.7.2), uhc-util (>=0.1.3.7), uulib (>=0.9.12), vector [details] |
| License | BSD-3-Clause |
| Copyright | Utrecht University, Department of Information and Computing Sciences, Software Technology group |
| Author | Atze Dijkstra |
| Maintainer | uhc-developers@lists.science.uu.nl |
| Category | Development |
| Home page | https://github.com/UU-ComputerScience/uhc |
| Bug tracker | https://github.com/UU-ComputerScience/uhc/issues |
| Uploaded | by AtzeDijkstra at 2014-11-26T16:24:46Z |
| Distributions | |
| Reverse Dependencies | 2 direct, 8 indirect [details] |
| Executables | uhcl |
| Downloads | 15952 total (64 in the last 30 days) |
| Rating | (no votes yet) [estimated by Bayesian average] |
| Your Rating | |
| Status | Docs uploaded by user Build status unknown [no reports yet] |