|
|
Please check here first to see if your question is already answered.
| 9 | 11 | 1 year 43 weeks ago
by leberre |
Please post Alloy or Kodkod bug reports here. We will investigate them and mark each report as FIXED once we fix them, or mark it as NOT_A_BUG if it's not a bug.
| 16 | 37 | 14 weeks 3 hours ago
by aleks |
Please post a message here if you have a feature request.
| 11 | 27 | 18 weeks 6 days ago
by takeo |
|
|
|
| 296 | 1058 | 1 week 3 hours ago
by aleks |
Questions about enumerating all solutions to an Alloy command
| 5 | 32 | 27 weeks 2 days ago
by segma |
Questions about Visualization
| 14 | 43 | 34 weeks 1 day ago
by felix |
|
| 3 | 9 | 1 year 3 weeks ago
by pranav.modi |
Discussions about the Alloy APIs
| 35 | 144 | 42 weeks 6 days ago
by nico |
|
|
Discussions about extending Alloy
| 16 | 52 | 8 hours 7 min ago
by maozs |
Discussions about modeling idioms in Alloy
| 25 | 90 | 41 weeks 9 hours ago
by felix |
Discussions about teaching about or using Alloy
| 4 | 10 | 2 years 37 weeks ago
by Jeremy.Jacob |
Discussions about Alloy as it relates to other, similar tools
| 4 | 12 | 11 weeks 6 days ago
by sagarsen |
Website issues and other discussion
|
|
| 21 | 55 | 1 week 1 day ago
by angielski_wroclaw |
Post issues with the website here.
| 5 | 23 | 1 year 46 weeks ago
by cmsmcq |
