The source project of this merge request has been removed.
More/better error messages for CryptoMiniSat
A former student of John got a rather cryptic error when trying to run SAT.Solve on a Windows computer.
It pointed towards GetLine failing, which led me in a completely wrong direction during debugging.
This small patch improves the debugging process of related errors at least a bit.
BTW: Yes, I noticed that Windows support had been removed, but even when adding it back manually, it still fails with error code 127 due to limitations of the current CygWin version: https://github.com/cocoa-official/CoCoALib/issues/34