Project

General

Profile

Statistics
| Branch: | Revision:

cool / src / lib @ 4f821479

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 69.2 KB
CoAlgFormula.mli 6.13 KB
CoAlgLogicUtils.ml 3.58 KB
CoAlgLogicUtils.mli 285 Bytes
CoAlgLogics.ml 17.7 KB
CoAlgLogics.mli 204 Bytes
CoAlgMisc.ml 46.3 KB
CoAlgMisc.mli 12.4 KB
CoAlgReasoner.ml 38.2 KB
CoAlgReasoner.mli 794 Bytes
CoolUtils.ml 1.91 KB
CoolUtils.mli 1.08 KB
FunctorParsing.ml 6.72 KB
FunctorParsing.mli 576 Bytes
HashConsing.ml 8.64 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
4f821479 04/14/2016 06:37 PM Christoph Egger

substract number of finishing/Sat nodes when calculating propagation frequency

1c26e356 04/14/2016 06:30 PM Christoph Egger

Remove nominal propagation for now

55dc0a64 04/14/2016 06:18 PM Christoph Egger

Make number of waves between propagation depend on #openCores

61c5af02 04/14/2016 05:53 PM Christoph Egger

Do propagation only after 100 iterations

07c71f1c 04/14/2016 05:44 PM Christoph Egger

Add comment

31229254 04/14/2016 04:23 PM Christoph Egger

Do both sat and unsat propagation

9c174a95 04/14/2016 04:13 PM Christoph Egger

Remove debug output from propagateSatMu

e4faff97 04/13/2016 11:43 PM Christoph Egger

Do a final propagation round at the end

012c092c 04/13/2016 10:18 PM Christoph Egger

Obvious simplification

8ab82480 04/13/2016 10:07 PM Christoph Egger

Fix typo in propagateUnsatMu function name

View revisions

Also available in: Atom