Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib / CoAlgLogicUtils.mli @ 40a714df

History | View | Annotate | Download (285 Bytes)

# Date Author Comment
26e21f07 05/15/2014 11:12 AM Thorsten Wißmann

Add coalition list printing

7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend