* Separate Solver Code
* Fix commandline arguments, add HELP.
* Constructor based trigger for Ordering Heuristics.