Improved non-verbose ezSAT::printDIMACS() format
authorClifford Wolf <clifford@clifford.at>
Tue, 18 Feb 2014 08:25:41 +0000 (09:25 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 18 Feb 2014 08:25:41 +0000 (09:25 +0100)
commit61a2bf57b43eff81f177f1280574dff22885ad86
tree20095be6daa1f068b5dda1b6d61afcc343046e3f
parent13051e6acf6c1fd506a49d258c3d99c1334c78cc
Improved non-verbose ezSAT::printDIMACS() format
libs/ezsat/ezsat.cc