Search
 
SCRIPT & CODE EXAMPLE
 
CODE EXAMPLE FOR SHELL

z3 python example

x = Int('x')
y = Int('y')
solve(x > 2, y < 10, x + 2*y == 7)
Source by ericpony.github.io #
 
PREVIOUS NEXT
Tagged: #python
ADD COMMENT
Topic
Name
4+5 =