makes rdiv.py importable
final printout code
adds contents() method to Log
creates new logging in maxwalksat
adds new logging in SA
outputs for hw4!