|
|
Please check here first to see if your question is already answered.
| 7 | 7 | 1 year 32 weeks ago
by Felix Chang |
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.
| 5 | 11 | 16 weeks 2 days ago
by Felix Chang |
Please post a message here if you have a feature request.
| 4 | 11 | 17 weeks 4 days ago
by leberre |
|
|
|
| 192 | 755 | 1 week 2 days ago
by jevon |
Questions about enumerating all solutions to an Alloy command
| 3 | 21 | 30 weeks 1 day ago
by nico |
Questions about Visualization
| 12 | 40 | 4 weeks 3 days ago
by Felix Chang |
|
| 2 | 5 | 50 weeks 5 days ago
by Felix Chang |
Discussions about the Alloy APIs
| 19 | 81 | 10 weeks 2 days ago
by shafique |
|
|
Discussions about extending Alloy
| 7 | 32 | 1 week 4 days ago
by khatchad |
Discussions about modeling idioms in Alloy
| 15 | 57 | 19 weeks 4 days ago
by Jeremy.Jacob |
Discussions about teaching about or using Alloy
| 4 | 10 | 23 weeks 3 days ago
by Jeremy.Jacob |
Discussions about Alloy as it relates to other, similar tools
| 3 | 9 | 25 weeks 18 hours ago
by cder80 |
Website issues and other discussion
|
|
| 6 | 15 | 14 weeks 2 days ago
by mgarcia |
Post issues with the website here.
| 3 | 18 | 21 weeks 6 days ago
by Felix Chang |
