nixpkgs / alloy5 - Alloy is a language for describing structures and a tool for exploring them. An Alloy model is a collection of constraints that describes a set of structures, e.g. all the possible security configurations of a web application, or all the possible topologies of a switching network. The Alloy Analyzer is a solver that takes the constraints of a model and finds structures that satisfy them. Structures are displayed graphically, and their appearance can be customized for the domain at hand.

Homepage - http://alloytools.org/

License - MIT

Maintainers - Amin Bandali

Releases

5.1.0 (expand/collapse)
From commit 0218f30a to 00460bd6
5.0.0.1 (expand/collapse)
From commit 0767de3d to 0767de3d
5.1.0 (expand/collapse)
From commit 0634484a to 00610756
5.0.0.1 (expand/collapse)
From commit 036cef94 to 010d2f4a
5.1.0 (expand/collapse)
From commit 03a43693 to 016111e8
5.0.0.1 (expand/collapse)
From commit 05421405 to 05421405
5.1.0 (expand/collapse)
From commit 018c0445 to 01e8c649
5.0.0.1 (expand/collapse)
From commit 02930180 to 02930180
5.1.0 (expand/collapse)
From commit 01370e4a to 026b6010
5.0.0.1 (expand/collapse)
From commit 003eaaf7 to 045132dc
5.1.0 (expand/collapse)
From commit 074f4444 to 077934e1
5.0.0.1 (expand/collapse)
From commit 051bc353 to 051bc353
5.1.0 (expand/collapse)
From commit 034701b8 to 079d57fa
5.0.0.1 (expand/collapse)
From commit 018136cd to 0351829b
5.1.0 (expand/collapse)
From commit 000f19ff to 000f19ff
5.0.0.1 (expand/collapse)
From commit 001f08fb to 07802f4d
5.1.0 (expand/collapse)
From commit 0709d4eb to 0709d4eb
5.0.0.1 (expand/collapse)
From commit 04d5ff82 to 02132288