@hackage call-alloy0.6.0.1
A simple library to call Alloy given a specification
Installation
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 Show all…
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