| Branch: | Revision:

cool / src / lib @ 40a714df

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 22.7 KB
CoAlgLogics.mli 204 Bytes 46.4 KB
CoAlgMisc.mli 12.5 KB 38.9 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
40a714df 04/28/2016 03:58 PM Christoph Egger

Add deferral tracking to CoalitionLogic

f4e43751 04/27/2016 07:42 PM Christoph Egger

Add Monotone neighbourhood logic

0debe698 04/19/2016 08:07 PM Christoph Egger

Rewrap some code to fit into 90 chars width

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

View revisions

Also available in: Atom