tree 43af93a4763cdcbf6111055a302daacd1bc06d1b
parent 468156dd61550887995f754265f24961168fdbf3
author Daniel LeBerre <dleberre> 1290362655 +0000
committer Daniel LeBerre <dleberre> 1290362655 +0000

Using implications instead of equivalences in optimization function encoding.