Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ 15537461

Name Size
  GMLMIP-0.1
ALCFormula.ml 54.2 KB
ALCFormula.mli 3.3 KB
ALCGraph.ml 15.1 KB
ALCGraph.mli 160 Bytes
ALCMisc.ml 31.5 KB
CoAlgELReasoner.ml 4.67 KB
CoAlgFormula.ml 71.3 KB
CoAlgFormula.mli 6.5 KB
CoAlgLogicUtils.ml 3.58 KB
CoAlgLogicUtils.mli 285 Bytes
CoAlgLogics.ml 26 KB
CoAlgLogics.mli 204 Bytes
CoAlgMisc.ml 56.8 KB
CoAlgMisc.mli 12.9 KB
CoAlgReasoner.ml 46.4 KB
CoAlgReasoner.mli 1.04 KB
CoolUtils.ml 1.91 KB
CoolUtils.mli 1.08 KB
FunctorParsing.ml 6.72 KB
FunctorParsing.mli 576 Bytes
HashConsing.ml 8.84 KB
HashConsing.mli 699 Bytes
MiscSolver.ml 13.1 KB
MiscSolver.mli 1.29 KB
altGenlex.ml 9.45 KB
altGenlex.mli 416 Bytes
genAndComp.ml 68.2 KB
glpk.ml 6.94 KB
glpk.mli 7.13 KB
glpk_stub.c 10.7 KB
gmlmip.ml 406 Bytes
gmlmip.mli 597 Bytes
gmlmip_stub.c 3.47 KB
minisat.ml 1.06 KB
minisat.mli 455 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
15537461 08/29/2016 09:20 AM Ludwig Dietel

Added TBox normalisation and subsumption reasoning

da7ec37f 08/29/2016 09:10 AM Ludwig Dietel

Started using CoAlgReasoner

caf45bbd 08/29/2016 09:09 AM Ludwig Dietel

Started parsing of TBox axioms

07402362 05/21/2016 03:50 AM Christoph Egger

Consider also other modal operators as valid guards

edfbcc2b 05/14/2016 11:50 PM Christoph Egger

Fix deferral tracking for new CoalitionLogic code

2a36974b 05/14/2016 10:16 PM Christoph Egger

Revert to fresh variable names in convertToMu

e01c4a03 05/14/2016 05:10 AM Christoph Egger

Merge remote-tracking branch 'origin/master' into flatmu

e08cd8a9 05/12/2016 05:33 PM Christoph Egger

Fix deferral tracking when "empty" least fixpoints appear

c126d689 05/12/2016 04:20 PM Christoph Egger

Fix states with no children

bc8db289 05/12/2016 02:01 PM Christoph Egger

actually verify properties for sat target

View revisions

Also available in: Atom