| commit | 3e911804ec17314a074022d7cb989e416c9c1204 | [log] [tgz] |
|---|---|---|
| author | Daniel LeBerre <dleberre> | Mon Dec 21 15:57:45 2009 +0000 |
| committer | Daniel LeBerre <dleberre> | Mon Dec 21 15:57:45 2009 +0000 |
| tree | 9a7cfc5ca21f8c2252d509811a703c08302674ca | |
| parent | 39e2c605e0975aa119b5c43d82a2b06210adcf17 [diff] |
New version of SAT4J (support for customized verbose mode).