26.12.08	- Term::SO_CoverVector
			- PLA::LoadPLA corrected. Uniformly interprets all PLA types (supports even r)			
31.12.08	- new project: Split_udc
			- new project: MergePLAs
1.1.09		- Term::tmp variable
3.1.09		- bitvector
			- function parameters to const
			- AppendTerm from ( Term *t ) to ( const Term &t )
			- AppendPLA from ( PLA *_pla ) to ( const PLA &_pla )
4.1.09		- list<Term> Term::Sharp( const Term& t ) const
			- PLA *PLA::Sharp( PLA &_pla )
			- PLA *PLA::Sharp( const Term &t ) const
9.1.09		- PLA::GetGEs
			- new project: GetInfo
			- Term::Equal IM
			- PLA *PLA::JoinPLAsByInputs( PLA &_pla )
			- list<Term> *PLA::FindTerm( const string t );
			- bool PLA_type::operator== ( const PLA_type &_type ) const
			- bool PLA_type::operator!= ( const PLA_type &_type ) const
10.1.09		- PLA::keep_TT
			- Algorithms directory
			- PLA *PLA::JoinPLAsByInputs( PLA &_pla ) moved to PLA_algorithms.cpp
			- list<Term> Term::Sharp( const Term& t ) const moved to Sharp.cpp
			- PLA *PLA::Sharp( PLA &_pla ) moved to Sharp.cpp
			- PLA *PLA::Sharp( const Term &t ) const moved to Sharp.cpp
15.1.09		- string GetIName(const unsigned int i) const;
			- string GetOName(const unsigned int i) const;
			- void SetIName(const unsigned int i, const string name);
			- void SetOName(const unsigned int i, const string name);
24.1.09		- Getinfo - corrected.
			- AuraCover (not functionous yet)
2.2.09		- void PLA::RemoveUselessTerms()
5.2.09		- AuraCover functioning, but there are static variables
7.2.09		- AuraCover finished
			- Sharp moved to PLA_operations
			- list<Term>::iterator PLA::AppendTerm( const string iv, const string ov )
			- PLA_operations: PLAComplement
14.2.09		- PLA_operations: TermComplement - OM processing support
			- Not enough memory handled
19.2.09		- bug in bitvector fixed
21.2.09		- keepTT problems solved
28.2.09		- "Term" class divided into "Term" and "Cube"
			- "SoPLA" class introduced
7.3.09		- PLA:F, D, R converted to Cube
			- Cube::GetInputs
			- Term:GetOutputs
			- PLA_operations: Sharp for SoPLA
			- PLA_operations: Sharp improved
			- RemoveAbsorbed moved from Cover to PLA
14.3.09		- New project - Split_outputs
28.3.09		- New project - Asynch_Multilevel
			- Cube:: inames
			- Blif class introduced
1.3.09		- Blif::LoadBlif
			- Blif::SaveBlif
			- Blif constructors
4.4.09		- Asynch_Multilevel
			- Blif:: some new methods
10.4.09		- Blif:: LoadBlif corrected
21.4.09		- PLA:: F, D, R converted to vector<SoPLA>.
			- PLA::Clear() to PLA::clear()
			- SoPLA::clear()
			- Blif::clear()
			- PLA PLA::( SoPLA &sopla )
28.4.09		- Blif: constant nodes support
3.5.09		- PLA_operations - SoPLA *PLATermSharp( SoPLA &pla, const Cube &t ) corrected
			- void SoPLA::RemoveAbsorbed(void)
			- list<Cube>::iterator SoPLA::DeleteTerm(const list<Cube>::iterator ti)
			- PLA_operations - Cofactor corrected
5.5.09		- Parity project
9.5.09		- SoPLA::name introduced
			- SoPLA::type introduced
			- Blif - data moved to SoPLA
			- PLA::tmp moved to SoPLA
			- improved PLA <-> SoPLA conversions
			- new setters&getters in SoPLA
			- SoPLA, PLA_operations included in all projects
			- Parity project functionous
			- Bitvector - logic operations instead of division
16.5.09		- PLA::Splice, SoPLA::Splice
			- PLA::GenerateOnSet, GenerateOffSet, GenerateDCSet - computed by a complement
			- minor safety improvements in PLA class
			- PLA::init, SoPLA::init
			- slight changes in CD-search
19.5.09		- Network, Node, Connection classes
			- Resynth project
			- Network::Mergenodes
13.6.09		- new methods in Network, Node, Connection classes
19.6.09		- .gate support in Blif
			- GetInfo for Blif
20.6.09		- Network - indexed
			- PLA Resynthesis
			- Network::SaveMblif
27.6.09		- Network::names
			- Network::DerivePorts
			- Multilevel Resynthesis
6.7.09		- Network::SaveMBlif corrected
18.7.09		- Network - several new methods, improved old methods
25.7.09		- PLA::splice - TT support
			- PLA::GetTerm -> GetTermByIndex
27.9.09		- new structure of the whole project, Linux support
			- SoTerm renamed to Cube
28.9.09		- PLA_op class created from PLA_operations
