Project

General

Profile

Statistics
| Branch: | Revision:

cool @ 40a714df

Name Size
  benchmarks
  cool2tatl
  examples
  randcool
  src
.gitignore 338 Bytes
BUGS 764 Bytes
HACKING 4.33 KB
INSTALL 2.51 KB
Makefile 258 Bytes
_oasis 5.41 KB
colorize.sh 94 Bytes
fact.conf 4.34 KB
install-remote.sh 703 Bytes
makestatic.sh 942 Bytes
playground.hs 1.42 KB
tatl-compatibility-wrapper.sh 82 Bytes

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 all revisions | View revisions

Also available in: Atom