Improved constness (and editorial updates).
Removed variable of (file-output) which was actually not used.
Editorial.
Removed trailing spaces.
Removed unused variable.
Using "nullptr".
Improved constness.
Improved time measurement.
Editorial.
Converted tabs to spaces.
Removed trailing spaces.
Editorial.
Made branching literals const.
Using bool for sat-status.
Correction: "4096" should be "MAX_VARS".
Improved constness.
Code simplifications.
Editorial.
Removed unused variable.
Removed unused variable.