DekGenius.com
Home
(current)
Dictionary
BOOKS
LYRICS
CHORD
SCRIPT & CODE EXAMPLE
Karaoke language
Search
Go
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
COMMENT
Name
4+3 =
Submit