Giters

AlloyTools / org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Feature request: add more colors and shapes to the visualizer

hwayne opened this issue · comments

commented

We've been working on a large model and have already used all of the shapes! We need moooooooooore shaaaaaaaapes :D

commented

Being able to do translucent jpegs instead of shapes would also be really helpful