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