Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ 4611a507

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 42.3 KB
CoAlgFormula.mli 4.01 KB
CoAlgLogicUtils.ml 2.21 KB
CoAlgLogicUtils.mli 177 Bytes
CoAlgLogics.ml 12.4 KB
CoAlgLogics.mli 196 Bytes
CoAlgMisc.ml 26.8 KB
CoAlgMisc.mli 9.77 KB
CoAlgReasoner.ml 22 KB
CoAlgReasoner.mli 324 Bytes
CoolUtils.ml 1.79 KB
CoolUtils.mli 1.03 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
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
c4abe601 05/04/2014 05:38 PM Thorsten Wißmann

Improve error messages and role parsing

b5352205 05/04/2014 12:06 PM Thorsten Wißmann

Only use addBSNoChk for simple bitsets

Insert a formula into a bitset without checking for a contradiction. The
former addBS performed a contradiction-check using MiscSolver.arrayNeg
which is a array of size 0 due to not being initialized.

For some reasons this bug only could be triggered when building with...

edf5c0ed 05/03/2014 03:33 PM Thorsten Wißmann

Compile entiere GMLMIP-0.1 into cool

77125941 05/03/2014 03:12 PM Thorsten Wißmann

Move more cpp to c

f82f09b7 05/01/2014 04:46 PM Thorsten Wißmann

Add coalgcompare frontend

ff936590 04/23/2014 10:08 PM Thorsten Wißmann

Parse OWL prefixes

7f2800d0 04/23/2014 12:37 PM Thorsten Wißmann

Add OWL frontend

7c4d2eb4 04/23/2014 11:21 AM Thorsten Wißmann

Separate cool into library and coalg frontend

View revisions

Also available in: Atom