commit | 03d28b007d139379351be2e43c8cc2e40851e83f | [log] [tgz] |
---|---|---|
author | Daniel LeBerre <dleberre> | Tue Jul 27 08:28:54 2010 +0000 |
committer | Daniel LeBerre <dleberre> | Tue Jul 27 08:28:54 2010 +0000 |
tree | 20a34ef1474575b2658f8041d6069c0a12b92e25 | |
parent | f76161739d49b1677f4ee64654585c317ddb72ee [diff] |
New release of SAT4J (2.2.1 snapshot).