Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ master

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 74.2 KB
CoAlgFormula.mli 6.54 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 8.02 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
Nom2fix.ml 9.51 KB
Nom2fix.mli 551 Bytes
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
1d36cd07 10/06/2017 09:06 PM Kristin Braun

Tried to optimize translation with fixpoint approximation; added depthFormula function in CoAlgFormula

1a213985 09/27/2017 01:02 AM Kristin Braun

added translation for Const

bc0691dc 08/10/2017 12:48 PM Kristin Braun

translation only uses subformulas if their negation is not a subformula

2d58f46f 07/18/2017 11:16 AM Kristin Braun

added optimized translation

97b76edf 06/29/2017 05:03 PM Kristin Braun

deleted conjunction

946e8213 06/20/2017 07:41 PM Kristin Braun

translation from nominal to EG AF works for K

2da28579 06/20/2017 05:50 PM Kristin Braun

added VAR to patternmatching

def3763d 06/19/2017 01:18 PM Kristin Braun

Translation for K

e3cf4ca2 05/16/2017 07:39 PM Kristin Braun

translation calculates fisher ladner closure correctly

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

.

View revisions

Also available in: Atom