Fri, 20 Apr 2007 14:49:21 +0000Renaming topology doxygen group
deba [Fri, 20 Apr 2007 14:49:21 +0000] rev 2429
Renaming topology doxygen group

Fri, 20 Apr 2007 14:47:19 +0000Doc change
deba [Fri, 20 Apr 2007 14:47:19 +0000] rev 2428
Doc change

Fri, 20 Apr 2007 14:06:08 +0000Clear for unionfinds
deba [Fri, 20 Apr 2007 14:06:08 +0000] rev 2427
Clear for unionfinds

Thu, 19 Apr 2007 15:14:34 +0000Allowing 'string' type quoting
deba [Thu, 19 Apr 2007 15:14:34 +0000] rev 2426
Allowing 'string' type quoting

Thu, 19 Apr 2007 15:12:59 +0000Helper classs for checking existence of a nested class
deba [Thu, 19 Apr 2007 15:12:59 +0000] rev 2425
Helper classs for checking existence of a nested class

Thu, 19 Apr 2007 15:11:58 +0000Redesigned Kruskal algorithm
deba [Thu, 19 Apr 2007 15:11:58 +0000] rev 2424
Redesigned Kruskal algorithm

The interface of function type implementation is not changed
Additional class type implementation

Thu, 19 Apr 2007 15:09:08 +0000Corrections on StoreBoolMap
deba [Thu, 19 Apr 2007 15:09:08 +0000] rev 2423
Corrections on StoreBoolMap
- *insert_iterator has void value_type
- use const setting

Thu, 19 Apr 2007 15:07:03 +0000Doc fix
deba [Thu, 19 Apr 2007 15:07:03 +0000] rev 2422
Doc fix

Wed, 18 Apr 2007 16:35:04 +0000Small changes
deba [Wed, 18 Apr 2007 16:35:04 +0000] rev 2421
Small changes

Wed, 18 Apr 2007 16:34:40 +0000Demo program for SAT problems
deba [Wed, 18 Apr 2007 16:34:40 +0000] rev 2420
Demo program for SAT problems