Added heuristics decision strategy.
Added berkmin heuristic.
Added builders for printing models.
Minor changes.