| commit | b5a770e135c3186b78c9aa60e0361e0139519325 | [log] [tgz] |
|---|---|---|
| author | Daniel LeBerre <dleberre> | Tue Nov 23 23:14:02 2010 +0000 |
| committer | Daniel LeBerre <dleberre> | Tue Nov 23 23:14:02 2010 +0000 |
| tree | db10641d97417f52452bdc0c110eb44c704a17c9 | |
| parent | fd635f346c827b04aa03d259aa887ac21106d791 [diff] |
New version of SAT4J, including the ability to check is a solution found is optimal or not.