0.13.0 — the model compiles into a Gurobi program, verified against the evaluator