-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathcoffeeshop_n_10.function
executable file
·49 lines (49 loc) · 1.08 KB
/
coffeeshop_n_10.function
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
# Circuit Function:
# f(x0_lat, x0_lng; x1_lat, x1_lng; x2_lat, x2_lng; x3_lat, x3_lng; x4_lat, x4_lng;
# x5_lat, x5_lng; x6_lat, x6_lng; x7_lat, x7_lng; x8_lat, x8_lng; x9_lat, x9_lng) = (
# (INT32)[A]: x0_lat + x1_lat + x2_lat + x3_lat + x4_lat + x5_lat + x6_lat + x7_lat + x8_lat + x9_lat;
# (INT32)[A]: x0_lng + x1_lng + x2_lng + x3_lng + x4_lng + x5_lng + x6_lng + x7_lng + x8_lng + x9_lng;
# )
#
# Party Inputs (0):
# (INT32) x0_lat
# (INT32) x0_lng
#
# Party Inputs (1):
# (INT32) x1_lat
# (INT32) x1_lng
#
# Party Inputs (2):
# (INT32) x2_lat
# (INT32) x2_lng
#
# Party Inputs (3):
# (INT32) x3_lat
# (INT32) x3_lng
#
# Party Inputs (4):
# (INT32) x4_lat
# (INT32) x4_lng
#
# Party Inputs (5):
# (INT32) x5_lat
# (INT32) x5_lng
#
# Party Inputs (6):
# (INT32) x6_lat
# (INT32) x6_lng
#
# Party Inputs (7):
# (INT32) x7_lat
# (INT32) x7_lng
#
# Party Inputs (8):
# (INT32) x8_lat
# (INT32) x8_lng
#
# Party Inputs (9):
# (INT32) x9_lat
# (INT32) x9_lng
#
# Output:
CircuitFiles/coffeeshop_n_10.cbg