Data updates (Tanbir Ahmed's solver).
Updates on specification of the OKsolver.