call-alloy: A simple library to call Alloy given a specification
Please see the README on GitHub at https://github.com/marcellussiegburg/call-alloy#readme
[Skip to Readme]
Versions [faq] | 0.1.0.0, 0.1.0.2 |
---|---|
Change log | ChangeLog.md |
Dependencies | base (>=4.7 && <5), bytestring, directory, file-embed, filepath, hashable, process, split [details] |
License | MIT |
Copyright | 2019 Marcellus Siegburg |
Author | Marcellus Siegburg |
Maintainer | marcellus.siegburg@uni-due.de |
Category | Language |
Home page | https://github.com/marcellussiegburg/call-alloy#readme |
Bug tracker | https://github.com/marcellussiegburg/call-alloy/issues |
Source repo | head: git clone https://github.com/marcellussiegburg/call-alloy |
Uploaded | by marcellus at Fri Oct 25 15:38:40 UTC 2019 |
Distributions | NixOS:0.1.0.2 |
Downloads | 93 total (26 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] |
Downloads
- call-alloy-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)