Code for testing characterization of SATPAR.
Formatting fixes, code cleanup
Added Tests