nixpkgs / alloy4 - 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


4.2_2015-02-22 (expand/collapse)
From commit 04d5ff82 to 00460bd6