 | Looking for a theme to represent relations | 0 | 34 weeks 1 day ago
by felix | n/a |
| Spine Relations | 1 | 1 year 2 weeks ago
by John Guerson | 49 weeks 6 days ago
by John Guerson |
| Automatically ordering elements in visualization | 1 | 2 years 18 weeks ago
by dev | 2 years 18 weeks ago
by Felix Chang |
| Visualization lines | 1 | 2 years 36 weeks ago
by bernardofbbraga | 2 years 36 weeks ago
by Felix Chang |
| Automatically naming the instances generated in the visualization | 0 | 2 years 49 weeks ago
by bernardofbbraga | n/a |
| Alloy Evaluator is Freezing | 5 | 3 years 8 weeks ago
by lrlucena | 3 years 8 weeks ago
by Felix Chang |
| Multiple Projecting Visualization and visualization filtering | 3 | 3 years 8 weeks ago
by bernardofbbraga | 3 years 8 weeks ago
by Felix Chang |
| function return value | 3 | 3 years 19 weeks ago
by naomifox | 3 years 12 weeks ago
by Felix Chang |
| Visualization of Solution Instances | 1 | 3 years 21 weeks ago
by alfio | 3 years 21 weeks ago
by Felix Chang |
| Visualizing a specific Pred | 0 | 3 years 25 weeks ago
by whassan | n/a |
| Visualization of a Kodkod Solution | 3 | 3 years 47 weeks ago
by anonymous | 3 years 47 weeks ago
by anonymous |
| Merge arrows in visualizer | 1 | 3 years 47 weeks ago
by anonymous | 3 years 47 weeks ago
by anonymous |
| Sequences of relations | 9 | 3 years 47 weeks ago
by anonymous | 3 years 47 weeks ago
by anonymous |
| dumping dot file and /or XML to files? | 1 | 3 years 47 weeks ago
by anonymous | 3 years 47 weeks ago
by anonymous |
