commit | d3a5343124fdbf2b2ea6ba794c48983d3e6eb401 | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Wed Dec 23 21:39:37 2009 +0000 |
committer | Daniel LeBerre <dleberre> | Wed Dec 23 21:39:37 2009 +0000 |
tree | 2c96ad138d7931bd224eb09588636bf5b8a9fc3b | |
parent | 50759197543fdd1ef44a5fe33ea2630c8a1491ed [diff] |
SAT4J now displays time taken to find the current best solution.