1
0
Fork 0
mirror of synced 2025-09-23 12:18:44 +00:00
ZoKrates/examples/conditions.code
2017-02-16 12:53:29 +01:00

6 lines
109 B
Text

def qeval(a):
b = (a + 5) * 6
2 * b == a * 12 + 60
c = 7 * (b + a)
c == 7 * b + 7 * a
return b + c