| Branch: | Revision:

cool / src / lib @ 6aa0e444

Name Size
  GMLMIP-0.1 54.2 KB
ALCFormula.mli 3.3 KB 15.1 KB
ALCGraph.mli 160 Bytes 31.5 KB 69.2 KB
CoAlgFormula.mli 6.13 KB 3.58 KB
CoAlgLogicUtils.mli 285 Bytes 17.7 KB
CoAlgLogics.mli 204 Bytes 46.4 KB
CoAlgMisc.mli 12.5 KB 38.2 KB
CoAlgReasoner.mli 794 Bytes 1.91 KB
CoolUtils.mli 1.08 KB 6.72 KB
FunctorParsing.mli 576 Bytes 8.64 KB
HashConsing.mli 699 Bytes 13.1 KB
MiscSolver.mli 1.29 KB 9.45 KB
altGenlex.mli 416 Bytes 68.2 KB 6.94 KB
glpk.mli 7.13 KB
glpk_stub.c 10.7 KB 406 Bytes
gmlmip.mli 597 Bytes
gmlmip_stub.c 3.47 KB 1.06 KB
minisat.mli 455 Bytes
minisat_stub.c 3.33 KB

Latest revisions

# Date Author Comment
6aa0e444 04/19/2016 08:07 PM Christoph Egger

Only deallocate solver for unsat nodes

We want to still have the solver for naive unsat propagation

e0906550 04/19/2016 06:34 PM Christoph Egger

Remove debug output

54c89878 04/19/2016 06:32 PM Christoph Egger

Only remove solver after Unsat Propagation

9f1263ec 04/19/2016 10:30 AM Christoph Egger

Deallocate satsolver once core becomes `Open`

The satsolver is reatined and only updated with new clauses for every
state that is generated out of a core. Once the core becomes Open (as
opposed to expandable), the solver is no longer needed.

This patch makes the solver a `Solver option` and gets it deallocated...

dce4e4aa 04/18/2016 07:09 PM Christoph Egger

Use proper number of open States when calculating frequency

Instead of some calculation based of finishing on normal Cores really
count proper Open States

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

View revisions

Also available in: Atom