Project

General

Profile

Statistics
| Branch: | Revision:

cool / randcool @ 2be59dcf

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

Latest revisions

# Date Author Comment
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