z3
csslab
CONSTRAINT PLAYGROUND
使用文档 ↗
让约束，找到答案。
编写代码，即刻探索 Z3 的求解能力。
正在连接运行引擎…
Python / Z3
SMT-LIB
main.py
超时 · 5 秒
超时 · 10 秒
超时 · 20 秒
▶
运行代码
⌘ / Ctrl ↵
终端输出
OUTPUT
复制
清空
>_
每一个答案，都始于一个约束
点击「运行代码」或按 ⌘ / Ctrl + Enter
求解结果将在这里显示
等待运行
256 MB · 隔离执行