 | "Go back" on the Visualizer | 0 | 18 weeks 6 days ago
by takeo | n/a |
| JNI-based SAT solver on Win 64-bit | 3 | 1 year 2 weeks ago
by John Guerson | 51 weeks 1 day ago
by nico |
| Solving bit-vector formulas using Alloy | 0 | 1 year 51 weeks ago
by ajith | n/a |
| Opening models from the net? | 0 | 2 years 4 weeks ago
by cmsmcq | n/a |
| bitwise and/or in alloy [PENDING] | 2 | 2 years 10 weeks ago
by jgaleotti | 2 years 4 weeks ago
by jgaleotti |
| implicit check and run commands? | 3 | 2 years 11 weeks ago
by cmsmcq | 2 years 10 weeks ago
by Jeremy.Jacob |
| Allow user to see the parse tree? [PENDING] | 1 | 2 years 11 weeks ago
by cmsmcq | 2 years 10 weeks ago
by Felix Chang |
| Alloy4 as 64-bit Java 1.6 application on macosx | 1 | 2 years 32 weeks ago
by nicolas.rouquette | 2 years 31 weeks ago
by leberre |
| Instance labels [PENDING] | 3 | 2 years 49 weeks ago
by bernardofbbraga | 2 years 34 weeks ago
by rseater |
| module system + visualization [PENDING] | 2 | 2 years 35 weeks ago
by rseater | 2 years 35 weeks ago
by Felix Chang |
| Tabs for multiple model files [PENDING] | 1 | 2 years 35 weeks ago
by rseater | 2 years 35 weeks ago
by Felix Chang |
