Thu, 19 Apr 2007 15:12:59 +0000 deba Helper classs for checking existence of a nested class
Thu, 19 Apr 2007 15:11:58 +0000 deba Redesigned Kruskal algorithm
Thu, 19 Apr 2007 15:09:08 +0000 deba Corrections on StoreBoolMap
Thu, 19 Apr 2007 15:07:03 +0000 deba Doc fix
Wed, 18 Apr 2007 16:35:04 +0000 deba Small changes
Wed, 18 Apr 2007 16:34:40 +0000 deba Demo program for SAT problems
Wed, 11 Apr 2007 07:34:40 +0000 ladanyi Added SimplePath::front().