Refactoring strengthener
Renaming functions
Renaming function
Shorter printing
Better indentation
Ooops, offset must be changeable
This is supposed to function with any RND number generator
Wow, we had 2 MTRand objects. Fixing.
Using MiniSat's random number generator. It's much faster