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