SMTInterpol Web界面
现在可以在浏览器中运行SMT解算器。粘贴SMT-LIB2.6兼容输入问题并单击运行按钮。您还可以上传文件或将其拖放到此框中。
这将在您的浏览器中运行SMTInterpol（由TeaVM公司).请注意，运行大型问题可能会影响您的浏览器。
; 你能证明1+1就是2吗？（设置选项：produce-proofs true）（设置选项：验证级别低）（设置逻辑QF_LIA）（断言（不是（=（+1 1）2））（检查状态）（以防万一）
运行SMTInterpol在此处查看结果！