@hackage call-alloy0.6.0.1

A simple library to call Alloy given a specification

Categories
- Language
License
MIT
Maintainer
marcellus.siegburg@uni-due.de
Links
Versions
- 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
- 0.4.1 Wed, 17 Jan 2024

Installation
In your cabal file:
Tested Compilers
Dependencies (14)
- Win32 >=2.5 && <2.15
- base >=4.12 && <5
- bytestring >=0.10.4 && <0.13
- containers >=0.6 && <0.9
- directory >=1.3 && <1.4
- filepath >=1.4 && <1.6
Dependents (0)

Package Flags

test-different-solvers

(off by default)

During tests different solvers are called to test if they are working on the current system

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