@hackage call-alloy0.2.0.0

A simple library to call Alloy given a specification

Categories
License
MIT
Maintainer
marcellus.siegburg@uni-due.de
Links
Versions
- 0.6.0.2 Wed, 16 Apr 2025
- 0.6.0.1 Tue, 8 Apr 2025
- 0.6 Thu, 3 Apr 2025
- 0.5.0.1 Mon, 28 Oct 2024
- 0.5 Wed, 24 Apr 2024
- 0.4.1.1 Fri, 19 Jan 2024

Installation
In your cabal file:
Dependencies (14)
- Win32
- base >=4.7 && <5
- bytestring
- containers
- directory
- filepath
Dependents (0)

Please see the README on GitHub at https://github.com/marcellussiegburg/call-alloy#readme