 | Automatically ordering elements in visualization | 1 | 6 weeks 6 days ago
by dev | 6 weeks 6 days ago
by Felix Chang |
| Visualization lines | 1 | 25 weeks 21 min ago
by bernardofbbraga | 24 weeks 6 days ago
by Felix Chang |
| Automatically naming the instances generated in the visualization | 0 | 37 weeks 4 days ago
by bernardofbbraga | n/a |
| Alloy Evaluator is Freezing | 5 | 48 weeks 4 days ago
by lrlucena | 48 weeks 3 days ago
by Felix Chang |
| Multiple Projecting Visualization and visualization filtering | 3 | 49 weeks 19 hours ago
by bernardofbbraga | 48 weeks 6 days ago
by Felix Chang |
| function return value | 3 | 1 year 7 weeks ago
by naomifox | 1 year 1 week ago
by Felix Chang |
| Visualization of Solution Instances | 1 | 1 year 9 weeks ago
by alfio | 1 year 9 weeks ago
by Felix Chang |
| Visualizing a specific Pred | 0 | 1 year 13 weeks ago
by whassan | n/a |
| Visualization of a Kodkod Solution | 3 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
| Merge arrows in visualizer | 1 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
| Sequences of relations | 9 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
| dumping dot file and /or XML to files? | 1 | 1 year 35 weeks ago
by anonymous | 1 year 35 weeks ago
by anonymous |
