alloy

cli 6.2.0 ·java

✓ install reviewed

Open-source language and analyzer for software modeling. Available on Homebrew and apt.

Resources