| Tag: software-design 1 packages with this tag | ||
| « Back to VersTracker | All Categories | All Tags | Related: modeling formal-verification sat-solver analysis | ||
| Package | Description | Version |
|---|---|---|
| alloy-analyzer ☆ formula | Open-source language and analyzer for software modeling | 6.2.0 |