Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ a0ad2fd9

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
CoAlgFormula.ml 44.7 KB
CoAlgFormula.mli 4.68 KB
CoAlgLogicUtils.ml 3.58 KB
CoAlgLogicUtils.mli 285 Bytes
CoAlgLogics.ml 11.9 KB
CoAlgLogics.mli 196 Bytes
CoAlgMisc.ml 29.7 KB
CoAlgMisc.mli 10.9 KB
CoAlgReasoner.ml 26.1 KB
CoAlgReasoner.mli 505 Bytes
CoolUtils.ml 1.79 KB
CoolUtils.mli 1.03 KB
FunctorParsing.ml 4.68 KB
FunctorParsing.mli 489 Bytes
FuzzyALCABox.ml 12.8 KB
FuzzyALCReasoner.ml 15.2 KB
HashConsing.ml 8.64 KB
HashConsing.mli 699 Bytes
MiscSolver.ml 21.4 KB
MiscSolver.mli 2.01 KB
altGenlex.ml 9.45 KB
altGenlex.mli 416 Bytes
genAndComp.ml 68.2 KB
glpk.ml 5.9 KB
glpk.mli 5.7 KB
glpk_stub.c 11 KB
gmlmip.ml 314 Bytes
gmlmip.mli 289 Bytes
gmlmip_stub.c 2.52 KB
minisat.ml 1.06 KB
minisat.mli 455 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
a0ad2fd9 08/20/2014 11:38 PM Dominik Paulus

Clean up FuzzyALCReasoner

79319a4e 08/20/2014 11:38 PM Dominik Paulus

Clean up FuzzyALCABox

947cb55b 08/20/2014 11:19 PM Dominik Paulus

Silence some warnings

0e416509 08/20/2014 11:09 PM Dominik Paulus

Use multiset for storing assertions

6f1cc141 08/20/2014 08:50 PM Dominik Paulus

Lots of fixes

bc0e1ded 08/20/2014 06:57 PM Dominik Paulus

Fix stupid bug in toAssertion

2061032f 08/20/2014 06:08 PM Dominik Paulus

Optimization: Let negation elimination prune

643083bb 08/20/2014 05:41 PM Dominik Paulus

Output status of solvability

14164a0d 08/20/2014 03:49 PM Dominik Paulus

Proper return value checking

6db6cee6 08/20/2014 03:29 PM Dominik Paulus

Don't double-apply existsleft

View revisions

Also available in: Atom