Timeline

03/28/12:

17:39 Ticket #440 (Bug fix in dimacs-solver) created by Peter Kovacs

The attached patch fixes a bug in the dimacs-solver tool. The result …

03/06/12:

04:49 Ticket #439 (Bug in biNodeConnected()) created by Alpar Juttner

The attached code and .lgf shows an example where …

03/03/12:

06:14 LemonRepos edited by Alpar Juttner

(diff)