Project

General

Profile

Statistics
| Branch: | Revision:

cool / randmu.py @ master

History | View | Annotate | Download (15 KB)

# Date Author Comment
74870253 05/23/2016 01:28 AM Christoph Egger

Create random coalition for ATL operators

7d83cfb6 05/23/2016 01:28 AM Christoph Egger

use correct modal operator for ATL

3e2aa1b8 05/14/2016 10:16 PM Christoph Egger

Remove A( ψ R φ) as it's not supported by all CTL reasoners

d0628bb9 05/14/2016 10:16 PM Christoph Egger

fix generation for CTL

becb9ab2 05/14/2016 05:27 AM Christoph Egger

Allow creating ATL formulae in randmu

60d2d6aa 05/12/2016 04:23 PM Christoph Egger

Add support for creating CTL formulae

23f1d0e0 05/12/2016 04:23 PM Christoph Egger

Extra parens in generated formulae

Makes them not only intended alt-free but also parsed to something alt-free

39c9b648 05/06/2016 05:02 PM Christoph Egger

Enforce monotonicity

3b329210 05/06/2016 04:50 PM Christoph Egger

Also create mlsolver-compatible versions

4eab42c3 05/04/2016 02:04 PM Christoph Egger

Add tool to generate random μ-calculus formulas