Utilities for solving offline problems given a model.
Generates problem instance from model and solves it using an offline algorithm.