SMC方法

GenLM Control 是一个用Python编写的库，支持正则表达式和JSON模式约束，并采用SMC方法高效生成满足条件的文本，具备异步编程支持。