Alloy Community

User login

sun4384

Home ยป User account

History

Member for
1 year 4 weeks

Recent Activities
Forum topicSAT solver (minisat) crashed. How to know the reason? sun43846 weeks 4 days ago
Forum topicmaximum memory for Alloy? sun43841 year 2 weeks ago
Forum topicbetter way to represent boolean values? sun43841 year 3 weeks ago
Forum topicoptimizing alloy models sun43841 year 3 weeks ago
Forum topiceffect of modifiers in declarations sun43841 year 3 weeks ago
Forum topicsome legal right operands of compare operators don't work sun43841 year 4 weeks ago
Forum topicoperator associativity? sun43841 year 4 weeks ago
Forum topicredundant relations sun43841 year 4 weeks ago
Forum topicpreferred solution? sun43841 year 4 weeks ago
Forum topicWhat affects performance most? sun43841 year 4 weeks ago

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