PR merged: https://github.com/dottxt-ai/outlines-core/pull/251
PR merged: dottxt-ai/outlines-core#251