| Branch: | Revision:

cool / src / coalg @ def3763d

Name Size 9.15 KB

Latest revisions

# Date Author Comment
def3763d 06/19/2017 01:18 PM Kristin Braun

Translation for K

267e3fcf 05/16/2017 02:03 PM Kristin Braun


89613c41 05/11/2017 03:52 PM Kristin Braun

tried to use Fischer-Ladner Closure but not working yet

f24367c4 04/06/2017 05:57 PM Hans-Peter Deifel

Add command line flag for fragment

The user can now choose which fragment of the mu-calculus the reasoner
uses. More specialized fragments can have better performance

4c23563e 04/06/2017 05:57 PM Hans-Peter Deifel

Generalize command line argument parsing

Adds a new module CoolUtils.Args that implements a generic command
line argument parser. This makes it easier to add new options to the
main program.

62cbb102 04/06/2017 05:57 PM Hans-Peter Deifel

coalg: Make 'graph' subcommand more cli-friendly

- Read only one formula, we also only generate one graph
- Don't print a prompt or the satisfiability result

This allows to redirect the output graph to a file or directly to dot.

0fe522e0 03/27/2017 08:10 PM Kristin Braun

implemented nom2fix function

860b962a 03/23/2017 02:59 PM Kristin Braun

Tried to implement a translation

200774f4 03/23/2017 01:26 PM Kristin Braun

added EAFormula

6c61df45 03/22/2017 04:56 PM Hans-Peter Deifel

Advertise 'graph' command of command line interface

View revisions

Also available in: Atom