Project

General

Profile

Statistics
| Branch: | Revision:

cool / randcool @ f4f9a650

# Date Author Comment
f4f9a650 01/30/2014 04:47 PM Daniel Gorin

BUGFIX: GML formulas were wrong
2be59dcf 01/30/2014 04:30 PM Daniel Gorin

BUGFIX: CL formulas were being generated with an extra agent
75263302 01/30/2014 02:21 PM Thorsten Wißmann

don't generate agent 0 on cl formulas
123bbbec 01/30/2014 12:10 PM Daniel Gorin

can now have top-level conjunctions and disjunctions
a0cce6f5 01/30/2014 02:18 AM Thorsten Wißmann

Add randcool utility