#

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

Improve this page

Add a description, image, and links to the alloytools topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

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