Added names and fixed bug.

Was not keeping separate lists of constraints
(or separate Uniques) for Ivars.
added debug statements
solver appears to be working
Gave SatExample a slightly more interesting problem
Added quick compile script