26.12. 08	- created Sparse_Output
			- improved GenerateCoverVectors
1.1.09		- input expansion in SparseOutput
			- Cover::RemoveAbsorbed improved
			- Cover::RemoveAbsorbedByCover improved
			- Expand::ExpandTerm
			- HeurCover::Contrib_SelectColumn
			- HeurCover::MCLC_SelectColumn
3.1.09		- Term::CoverVector, Term::SO_CoverVector converted to bitvector
			- Cover::RemoveAbsorbedByCover modified to bitvector
17.1.09		- HeurCover::Contrib_SelectColumn corrected
16.2.09		- Bug in FC-Min corrected
21.2.09		- BoomAlg - special (temporary) pool for FC-Min. Scatter Expand called for it
27.8.09		- All PLA support in Boom. Off-set is computed as a complement.
30.9.09		- r-type PLA fully supported
9.6.10		- CP selection support
3.7.10		- output format selection support
10.7.10		- Lag. B&B cover
17.7.10		- consistency check
25.9.10		- corrected error in FC-Min - for fd types
