多表面贴装 这是一个前端，它并行运行多个后端求解器，并返回第一个结果。 像普通的SMT-LIB求解器一样，它在stdin上接受SMT-LIB v2.6输入，并将输出写入stdout。 当前，Many-SMT知道如何使用 ， 和 。 拉请求是欢迎的！ 使用/安装 该脚本需要 。 除了Python 3标准库外，它没有依赖项。 该脚本足够小，可以完全独立。 您可以直接在以下文件夹中使用它： ./many-smt <test.smt2 或通过将其复制到PATH上的文件夹进行安装。 细节和警