Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ bc0691dc

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 73.4 KB
CoAlgFormula.mli 6.51 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 7.17 KB
Nom2fix.mli 492 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
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

.

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

View revisions

Also available in: Atom