@hackage call-alloy0.2.2.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 (13)
- Win32 >=2.5 && <2.14
- base >=4.12 && <5
- bytestring >=0.10.4 && <0.12
- containers >=0.6 && <0.7
- directory >=1.3 && <1.4
- filepath >=1.4 && <1.5
Dependents (0)

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