| commit | 958237877f302e62b877ec323ffab8e3a4109462 | [log] [tgz] |
|---|---|---|
| author | Daniel LeBerre <dleberre> | Sun Nov 21 18:04:15 2010 +0000 |
| committer | Daniel LeBerre <dleberre> | Sun Nov 21 18:04:15 2010 +0000 |
| tree | 43af93a4763cdcbf6111055a302daacd1bc06d1b | |
| parent | 468156dd61550887995f754265f24961168fdbf3 [diff] |
Using implications instead of equivalences in optimization function encoding.