commit | 31eac1456bd638cef474b505411bed2f070fee39 | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Sat May 29 15:46:39 2010 +0000 |
committer | Daniel LeBerre <dleberre> | Sat May 29 15:46:39 2010 +0000 |
tree | b45e58e8a7adc85aa3dcf33e02ef6d373275b0fa | |
parent | 3ff1e34b18ef6476a8f28d5c33e35d7585875ea9 [diff] |
Updated version of SAT4J.