Wed, 28 Mar 2012 19:39:56 +0200 Peter Kovacs Fix a bug + remove redundant typedefs in dimacs-solver (#440)
Wed, 07 Nov 2012 17:39:39 +0100 Alpar Juttner Merge docfix #437