Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ fa1727d2

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.9 KB
FuzzyALCABox.mli 1.25 KB
FuzzyALCReasoner.ml 15.3 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
fa1727d2 08/21/2014 12:34 AM Dominik Paulus

Some cleanups. Add interface specification.

48a72851 08/21/2014 12:18 AM Dominik Paulus

Don't throw exception and crash on invalid input

17dae482 08/21/2014 12:06 AM Dominik Paulus

Less + in output...

ca3d06cb 08/21/2014 12:03 AM Dominik Paulus

Some output beautification

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

View revisions

Also available in: Atom