Betlen, A. Program Constrained Language Model Sampling [Computer software]. https://github.com/abetlen/program-constrained-language-model-sampling