The Alloy 6.2.0 Java Archives are available on Maven Center. This makes it trivial to use them from a Java program. We published the following JARs:
- dist – Contains everything, including Pardinus and the native code for the SAT solvers.
- pardinus core and pardinus native. Pardinus replaced kodkod for solving the relational models.
- API – APIs, will grow in the future
- core – The core code
- application – The application code
- Language Server Protocol – The code to support VS Code
- command line interface – The command line interface
Following the links gives you the dependency information to build with maven, bndtools, or Gradle.
Additionally, for Mac owners, alloy is available as a command line application bottle (which includes the GUI), and a Mac application cask.
$ brew install alloy
$ alloy help