Alloy Community

User login

Forums

  • Login to post a new forum topic.
ForumTopicsPostsLast post
Please check here first to see if your question is already answered.
771 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.
51116 weeks 2 days ago
by Felix Chang
Please post a message here if you have a feature request.
41117 weeks 4 days ago
by leberre
Get help with Alloy
Get help here.
1927551 week 2 days ago
by jevon
Questions about enumerating all solutions to an Alloy command
32130 weeks 1 day ago
by nico
Questions about Visualization
12404 weeks 3 days ago
by Felix Chang
Questions about KodKod
2550 weeks 5 days ago
by Felix Chang
Discussions about the Alloy APIs
198110 weeks 2 days ago
by shafique
Discussions about Alloy
Discussions about extending Alloy
7321 week 4 days ago
by khatchad
Discussions about modeling idioms in Alloy
155719 weeks 4 days ago
by Jeremy.Jacob
Discussions about teaching about or using Alloy
41023 weeks 3 days ago
by Jeremy.Jacob
Discussions about Alloy as it relates to other, similar tools
3925 weeks 18 hours ago
by cder80
Website issues and other discussion
61514 weeks 2 days ago
by mgarcia
Post issues with the website here.
31821 weeks 6 days ago
by Felix Chang

Syndicate content  

The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.

Theme originally designed by Chris Herberte