- Email: firstname.lastname@example.org
- Registered on: 04/22/2014
- Last connection: 03/08/2019
- 02:26 PM COOL Bug #19: GML formula takes long
- On a fast machine, one gets the correct answer within 3 minutes:...
- 07:43 PM Shunting Wiki edit: Wiki (#2)
- 11:47 AM Shunting Wiki edit: Wiki (#1)
- Document clone url
- 05:19 PM COOL Revision 4c4531ea (cool): CL: more test formulas
- 05:08 PM COOL Revision c1a08c36 (cool): CL: create enough rule 2 applications
- The previous optimization in the rule 2 applications of coalition logic
left out some rule applications. Now, do enou...
- 04:46 PM COOL Revision 9944c81b (cool): Add init function to testsuite sections
- Allow testcase sections to adjust the global settings before evaluating
the test formulas.
- 02:00 PM COOL Revision 9609611d (cool): Fix CL for diamond formula sets with all agents
- For the case of two (or more) diamond formulas who all mention the full
agent list, no rule was created, because the ...
- 02:08 PM COOL Wiki edit: Overview (#3)
- cal8 -> git8
- 04:36 PM COOL Revision d283bf7a (cool): Use different state sets for different sorts
- Patch by Florian Widmann In order to fix the behaviour for the K*K
[pi1]<R>c0 | [pi1]<S>c1 | [pi2]<T>c3...
Also available in: Atom