alloy6

alloy6 6.2.0 · pkgs/development/tools/alloy/default.nix

Health

Risk

risk 0 ok

Version

6.2.0 no newer release in its git tags

Channels

master 6.2.0 · nixos-unstable 6.2.0 · nixos-26.05 6.2.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