Project

General

Profile

Statistics
| Branch: | Revision:

cool / randcool @ f4f9a650

Name Size
randcool.cabal 915 Bytes
randcool.hs 7.57 KB

Latest revisions

# 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

View revisions

Also available in: Atom