smtlib2-utils:smtlib2 的实用程序选择

smtlib2-utils smtlib2 的一系列实用程序。 安装 您可以使用以下命令安装 smtlib2-utils： npm install -g smtlib2-utils 用法 由于这是一个实用程序库，您可以将其用于多种用途。 截至目前，这只是构建 smts。