Z3 environment

pip install z3-solver
4.1s
z3-python (Bash in Python)
Python 3
from z3 import *
p = Bool('p')
solve(p)
1.3s
z3-python (Python)
Python 3
solve(And(p, Not(p)))
0.5s
z3-python (Python)
Python 3
Runtimes (1)