#

alloytools

Here are 2 public repositories matching this topic...

WatForm / aldb

A debugger for transition systems modelled in Alloy

debugger cli modeling alloy transition-systems alloytools alloy-analyzer

Updated Aug 20, 2024
Java

abhabongse / relationalcalculus-alloy

Analyzing database relational calculus schemata and queries using MIT's Alloy tools

alloy relational-database alloytools

Updated Feb 28, 2024
TeX

Add this topic to your repo

To associate your repository with the alloytools topic, visit your repo's landing page and select "manage topics."