Project

General

Profile

Statistics
| Branch: | Revision:

cool / randcool / randcool.hs @ master

History | View | Annotate | Download (9.71 KB)

# Date Author Comment
bb7f1f31 01/30/2014 11:16 PM Daniel Gorin

generates tboxes

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