commit | 969975bac31f9f335dafb51695cfc19ab8ab6f4e | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Sat Jan 23 14:14:37 2010 +0000 |
committer | Daniel LeBerre <dleberre> | Sat Jan 23 14:14:37 2010 +0000 |
tree | 2e335e26c0b8d36de265ecebd0c80edb62b2d8e3 | |
parent | 927a62d497dd1364e639084497827351989a07ea [diff] |
The solver can now be interrupted using SIGTERM (ctrl-C): it will display the best solution found so far. The explanation is now provided in the sol fil in case of failure if -explain is used.