Changeset: readd_clausecollector

Title

Re-adding the ClauseCollector

Description

The ClauseCollector was prematurely removed, re-adding it.

Packages containing this changeset

meresco-components

Creation date

2011-10-18

Versions where this changeset is applied

• meresco-components
  • 4.0-beta1-Seecr-9
  • 4.0-beta1-Seecr-8
  • 4.0-beta1-Seecr-7
  • 4.0-beta1-Seecr-10

Baseline version

https://meresco.svn.sourceforge.net/svnroot/meresco/meresco-components/workingsets/4.0-beta1-Seecr/version_3

Filename

201110180930.readd_clausecollector.changeset [download]