Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ e3cf4ca2

Name Size
ALCFormula.ml 54.3 KB
ALCFormula.mli 3.34 KB
ALCGraph.ml 15.1 KB
ALCGraph.mli 197 Bytes
ALCMisc.ml 31.5 KB
CoAlgFormula.ml 71.5 KB
CoAlgFormula.mli 6.38 KB
CoAlgLogicUtils.ml 3.62 KB
CoAlgLogicUtils.mli 322 Bytes
CoAlgLogics.ml 22.7 KB
CoAlgLogics.mli 241 Bytes
CoAlgMisc.ml 48.1 KB
CoAlgMisc.mli 13.6 KB
CoAlgReasoner.ml 40 KB
CoAlgReasoner.mli 1.07 KB
CoolUtils.ml 5.16 KB
CoolUtils.mli 2.71 KB
EAFormula.ml 7.28 KB
EAFormula.mli 1.24 KB
FunctorParsing.ml 6.76 KB
FunctorParsing.mli 613 Bytes
HashConsing.ml 8.89 KB
HashConsing.mli 736 Bytes
MiscSolver.ml 13.2 KB
MiscSolver.mli 1.33 KB
altGenlex.ml 9.48 KB
altGenlex.mli 453 Bytes
genAndComp.ml 68.2 KB
glpk.ml 7.28 KB
glpk.mli 7.47 KB
glpk_stub.c 11 KB
minisat.ml 1.22 KB
minisat.mli 492 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
e3cf4ca2 05/16/2017 07:39 PM Kristin Braun

translation calculates fisher ladner closure correctly

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

0f9140ab 05/04/2017 04:06 PM Kristin Braun

part 1 and 3 of translation

a91110f4 05/03/2017 03:47 PM Kristin Braun

first part of translations is implemented

3cd07e5d 05/03/2017 03:26 PM Hans-Peter Deifel

Replace String.split_on_char with custom implementation

String.split_on_char was introduced in OCaml 4.04, but we want to
support 4.02.

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
characteristics.

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

Add tests for command line option parser

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.

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

Fix aconjunctive fragment for rules with >1 children

Previously, the algorithm for the aconjunctive fragment would insert
many cores for each child of a modal rule and add those as children of
the rule application to the state.

This was wrong for multiple reasons:...

View revisions

Also available in: Atom