Mon, 23 Feb 2009 12:26:21 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 23 Feb 2009 12:26:21 +0000] rev 528
Merge

Mon, 23 Feb 2009 11:52:45 +0000CMAKE builds the tools/ dir, too (#228)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 23 Feb 2009 11:52:45 +0000] rev 527
CMAKE builds the tools/ dir, too (#228)

Mon, 23 Feb 2009 11:49:57 +0000DIMACS solver utility (#226)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 23 Feb 2009 11:49:57 +0000] rev 526
DIMACS solver utility (#226)