Remove global variable for importing parseModel(). Rename variables that were using reserved words.
Additional debug info for variable lb > ub that was helpful.
Prevent infinite loop in precedenceEncoder.
Missing solver param in Max().get_max()
SAT encoding tests for Max of negative number and Abs.
Squashed commit of the following:

commit 0dd9c174aeabf027ac5813813f7d9bb016d71cb3
Author: 9thbit <9thbit@gmail.com>
Date:   Thu Mar 14 12:13:31 2013 +0000

    Whitespace prettifying.
Missing line from HEAD merge.