Mon, 23 Feb 2009 12:26:21 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 23 Feb 2009 12:26:21 +0000] rev 575
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 574
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 573
DIMACS solver utility (#226)