Wed, 28 Mar 2012 19:39:56 +0200Fix a bug + remove redundant typedefs in dimacs-solver (#440)
Peter Kovacs <kpeter@inf.elte.hu> [Wed, 28 Mar 2012 19:39:56 +0200] rev 1005
Fix a bug + remove redundant typedefs in dimacs-solver (#440)