MyNixOS website logo
Description

Language & tool for relational models.

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.

Metadata

Version

5.1.0

License

Maintainers (1)

Platforms (44)

    Darwin
    FreeBSD 13
    Linux
    NetBSD
    OpenBSD
    Redox
    Solaris
    Windows
Show all
  • aarch64-darwin
  • aarch64-linux
  • aarch64-netbsd
  • armv5tel-linux
  • armv6l-linux
  • armv6l-netbsd
  • armv7a-darwin
  • armv7a-linux
  • armv7a-netbsd
  • armv7l-linux
  • armv7l-netbsd
  • i686-cygwin
  • i686-darwin
  • i686-freebsd13
  • i686-linux
  • i686-netbsd
  • i686-openbsd
  • loongarch64-linux
  • m68k-linux
  • m68k-netbsd
  • microblaze-linux
  • microblazeel-linux
  • mips-linux
  • mips64-linux
  • mips64el-linux
  • mipsel-linux
  • mipsel-netbsd
  • powerpc-netbsd
  • powerpc64-linux
  • powerpc64le-linux
  • riscv32-linux
  • riscv32-netbsd
  • riscv64-linux
  • riscv64-netbsd
  • s390-linux
  • s390x-linux
  • x86_64-cygwin
  • x86_64-darwin
  • x86_64-freebsd13
  • x86_64-linux
  • x86_64-netbsd
  • x86_64-openbsd
  • x86_64-redox
  • x86_64-solaris