Alloy Community

User login

Recent changes

Sun, 22 November 2009
Forum topicASillenepaiddibnew Teen Rehab Drug Program Washington
Thu, 19 November 2009
Forum topicFelix Changcomment Arithmetic Operations on Integers (part two) ... Kodkod natively supports (at
Wed, 18 November 2009
Forum topicjgaleottinew Arithmetic Operations on Integers (part two)
Mon, 16 November 2009
Forum topicRicardoCcomment A question on my final project ... I hope double posting isn't
Sun, 15 November 2009
Forum topicRicardoCnew A question on my final project
Sat, 14 November 2009
Forum topicmedcomment Library Model ... I am a student in
Fri, 13 November 2009
Forum topicJeremy.Jacobcomment Library Model ... Is asking for help allowed
Thu, 12 November 2009
Forum topicmedcomment Library Model ... yes this is the first part,i
Forum topicJeremy.Jacobcomment Library Model ... Is this part of an
Wed, 11 November 2009
Forum topicmednew Library Model
Mon, 9 November 2009
Forum topicFelix Changcomment String ... String is an upcoming
Forum topicmednew String
Forum topicleberrecomment Invalid instances and multiple inhertiance ... Not really. Only an A4
Wed, 28 October 2009
Forum topicjevoncomment Invalid instances and multiple inhertiance ... Hi leberre, I thought as
Forum topicleberrecomment Invalid instances and multiple inhertiance ... For 26 Wrapper, you already
Tue, 27 October 2009
Forum topicjevonnew Invalid instances and multiple inhertiance
Forum topicDavid Minornew incompatible asserts and facts
Mon, 26 October 2009
Forum topicRedbeardcomment number of counter examples ... Thank you very much for your
Forum topickhatchadcomment LaTeX style for Alloy 4 models ... You may want to add some
Forum topicFelix Changcomment number of counter examples ... Hi: Unfortunately no. As we
Forum topicFelix Changcomment Reference Manual? ... > The page:
Forum topicDavid Minorcomment Reference Manual? ... Also... Felix, if you or
Forum topicDavid Minorcomment Dealing with integral attributes of graphs ... Let me refine my previous
Forum topicDavid Minorcomment Reference Manual? ... The page:
Sun, 25 October 2009
Forum topicRedbeardnew number of counter examples
Fri, 23 October 2009
Forum topicjgaleottinew Simplifying integer upper bounds
Thu, 22 October 2009
Forum topicFelix Changcomment Reference Manual? ... Hi: Which page contained the
Forum topicDavid Minorcomment Reference Manual? ... I found it, someone should
Forum topicDavid Minornew Reference Manual?
Tue, 20 October 2009
Forum topicDavid Minornew Dealing with integral attributes of graphs
Thu, 15 October 2009
Forum topicleberrecomment SAT solver (minisat) crashed. How to know the reason? ... Just check the number of
Forum topicJeremy.Jacobcomment Please help me solve this. ... Off hand, I am not sure: The
Wed, 14 October 2009
Forum topicformalmethodcomment Please help me solve this. ... Thank you for your help. I
Forum topicJeremy.Jacobcomment Please help me solve this. ... Alloy is correct in telling
Tue, 13 October 2009
Forum topicformalmethodnew Please help me solve this.
Forum topica.hosseini110comment How can I specify the multiset and tuple in alloy? ... seq constructor solves my
Mon, 12 October 2009
Forum topicFelix Changcomment How can I specify the multiset and tuple in alloy? ... Another possibility (with
Forum topicJeremy.Jacobcomment How can I specify the multiset and tuple in alloy? ... That is what the seq
Sun, 11 October 2009
Forum topica.hosseini110comment How can I specify the multiset and tuple in alloy? ... Thank you for your
Forum topicJeremy.Jacobcomment How can I specify the multiset and tuple in alloy? ... sig Element{} sig Bag{ //
Sat, 10 October 2009
Forum topica.hosseini110new How can I specify the multiset and tuple in alloy?
Fri, 9 October 2009
Forum topicbernardofbbragacomment Reference for use of util/ordering and symmetry breaking optimizations ... Thank you very much Felix,
Thu, 8 October 2009
Forum topicFelix Changcomment Reference for use of util/ordering and symmetry breaking optimizations ... No, kodkod doesn't fix each
Forum topicFelix Changcomment SAT solver (minisat) crashed. How to know the reason? ... No log sorry. Minisat runs
Forum topicFelix Changcomment Inexplicable Edges ... Try posting your alloy model
Forum topicidbentleycomment Inexplicable Edges ... No, nothing at all like
Forum topicsun4384comment SAT solver (minisat) crashed. How to know the reason? ... Running the same analysis in
Forum topicbernardofbbragacomment Reference for use of util/ordering and symmetry breaking optimizations ... Well, I guess I sort of
Forum topicsun4384new SAT solver (minisat) crashed. How to know the reason?
Forum topicFelix Changcomment Reference for use of util/ordering and symmetry breaking optimizations ... Kodkod and Alloy have the

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