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 -

License - MIT

Maintainers - Amin Bandali


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