alloy5

alloy5 5.1.0 · pkgs/development/tools/alloy/default.nix

Health

Risk

risk 12 low

+12 5.1.0 is behind upstream 6.2.0, a major release

Version

5.1.0 upstream 6.2.0

Channels

master 5.1.0 · nixos-unstable 5.1.0 · nixos-26.05 5.1.0 no channel is behind master

Hydra

succeeded 2d ago

Advisories

none open

Packaging

meta complete

Packagewhat each field means

Description

Language & tool for relational models

Long description

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

https://alloytools.org/

Download page

https://alloytools.org/download.html

License

MIT

Platforms

45 platforms: Linux, Darwin

Source provenance

binaryBytecode

Outputs

out