Skip to content

Commit f040679

Browse files
roserose
committed
add example pcns and command files
1 parent 254cf4c commit f040679

File tree

17 files changed

+620
-0
lines changed

17 files changed

+620
-0
lines changed

‎BooleanCalculatorEngine/0.pcn‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
6
2+
9
3+
3 1 -4 6
4+
4 -2 4 5 6
5+
2 2 3
6+
3 3 5 -6
7+
3 1 2 5
8+
3 -4 -5 6
9+
2 -1 3
10+
4 1 -2 5 -6
11+
2 2 4

‎BooleanCalculatorEngine/1.pcn‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
6
2+
5
3+
3 1 -4 6
4+
4 -2 4 5 6
5+
2 2 3
6+
3 3 5 -6
7+
3 1 2 5

‎BooleanCalculatorEngine/10.pcn‎

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
6
2+
9
3+
3 1 -4 6
4+
4 -2 4 5 6
5+
2 2 3
6+
3 3 5 -6
7+
3 1 2 5
8+
3 -4 -5 6
9+
2 -1 3
10+
4 1 -2 5 -6
11+
2 2 4

‎BooleanCalculatorEngine/11.pcn‎

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
6
2+
13
3+
4 1 2 3 4
4+
4 1 2 4 5
5+
4 1 2 4 -6
6+
5 1 2 -4 -5 6
7+
4 -1 2 3 5
8+
6 -1 2 -3 4 5 -6
9+
5 -1 2 3 -5 6
10+
5 -1 2 3 -5 -6
11+
5 -1 2 4 -5 -6
12+
5 1 -2 3 5 -6
13+
5 -1 -2 3 4 5
14+
6 -1 -2 3 -4 5 -6
15+
5 1 -2 -4 -5 6

‎BooleanCalculatorEngine/12.pcn‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,18 @@
1+
6
2+
16
3+
6 1 2 -3 4 -5 6
4+
4 1 2 -4 5
5+
4 1 2 -4 -6
6+
4 1 -2 -3 5
7+
4 1 -2 5 6
8+
4 1 -2 4 -5
9+
4 1 -2 -5 -6
10+
5 -1 2 -3 -4 5
11+
5 -1 2 -3 5 6
12+
5 -1 2 -3 -5 6
13+
5 -1 2 -4 -5 -6
14+
4 -1 -2 -3 4
15+
4 -1 -2 4 -5
16+
4 -1 -2 -3 -4
17+
4 -1 -2 -4 -5
18+
4 -1 -2 -4 6

‎BooleanCalculatorEngine/2.pcn‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
6
2+
4
3+
3 -4 -5 6
4+
2 -1 3
5+
4 1 -2 5 -6
6+
2 2 4

‎BooleanCalculatorEngine/3.pcn‎

Lines changed: 130 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,130 @@
1+
12
2+
128
3+
9 1 2 3 4 5 6 7 10 11
4+
9 1 2 3 4 5 6 -7 10 11
5+
9 1 2 3 4 5 -6 7 10 11
6+
9 1 2 3 4 5 -6 -7 10 11
7+
9 1 2 3 4 -5 6 7 10 11
8+
9 1 2 3 4 -5 6 -7 10 11
9+
9 1 2 3 4 -5 -6 7 10 11
10+
9 1 2 3 4 -5 -6 -7 10 11
11+
9 1 2 3 -4 5 6 7 10 11
12+
9 1 2 3 -4 5 6 -7 10 11
13+
9 1 2 3 -4 5 -6 7 10 11
14+
9 1 2 3 -4 5 -6 -7 10 11
15+
9 1 2 3 -4 -5 6 7 10 11
16+
9 1 2 3 -4 -5 6 -7 10 11
17+
9 1 2 3 -4 -5 -6 7 10 11
18+
9 1 2 3 -4 -5 -6 -7 10 11
19+
8 1 2 3 4 -5 -6 -7 -8
20+
8 1 2 3 -4 -5 -6 -7 -8
21+
8 1 2 -3 4 -5 -6 -7 -8
22+
8 1 2 -3 -4 -5 -6 -7 -8
23+
8 1 -2 3 4 -5 -6 -7 -8
24+
8 1 -2 3 -4 -5 -6 -7 -8
25+
8 1 -2 -3 4 -5 -6 -7 -8
26+
8 1 -2 -3 -4 -5 -6 -7 -8
27+
8 -1 2 3 4 -5 -6 -7 -8
28+
8 -1 2 3 -4 -5 -6 -7 -8
29+
8 -1 2 -3 4 -5 -6 -7 -8
30+
8 -1 2 -3 -4 -5 -6 -7 -8
31+
8 -1 -2 3 4 -5 -6 -7 -8
32+
8 -1 -2 3 -4 -5 -6 -7 -8
33+
8 -1 -2 -3 4 -5 -6 -7 -8
34+
8 -1 -2 -3 -4 -5 -6 -7 -8
35+
7 1 -2 3 4 5 10 11
36+
7 1 -2 3 4 -5 10 11
37+
7 1 -2 3 -4 5 10 11
38+
7 1 -2 3 -4 -5 10 11
39+
7 1 -2 -3 4 5 10 11
40+
7 1 -2 -3 4 -5 10 11
41+
7 1 -2 -3 -4 5 10 11
42+
7 1 -2 -3 -4 -5 10 11
43+
7 -1 -2 3 4 5 10 11
44+
7 -1 -2 3 4 -5 10 11
45+
7 -1 -2 3 -4 5 10 11
46+
7 -1 -2 3 -4 -5 10 11
47+
7 -1 -2 -3 4 5 10 11
48+
7 -1 -2 -3 4 -5 10 11
49+
7 -1 -2 -3 -4 5 10 11
50+
7 -1 -2 -3 -4 -5 10 11
51+
7 1 2 3 4 5 8 -10
52+
7 1 2 3 -4 5 8 -10
53+
7 1 2 -3 4 5 8 -10
54+
7 1 2 -3 -4 5 8 -10
55+
7 1 -2 3 4 5 8 -10
56+
7 1 -2 3 -4 5 8 -10
57+
7 1 -2 -3 4 5 8 -10
58+
7 1 -2 -3 -4 5 8 -10
59+
7 -1 2 3 4 5 8 -10
60+
7 -1 2 3 -4 5 8 -10
61+
7 -1 2 -3 4 5 8 -10
62+
7 -1 2 -3 -4 5 8 -10
63+
7 -1 -2 3 4 5 8 -10
64+
7 -1 -2 3 -4 5 8 -10
65+
7 -1 -2 -3 4 5 8 -10
66+
7 -1 -2 -3 -4 5 8 -10
67+
10 1 2 -3 4 5 6 7 8 -9 10
68+
10 1 2 -3 4 5 6 7 8 -9 -10
69+
10 1 2 -3 4 5 6 7 -8 -9 10
70+
10 1 2 -3 4 5 6 7 -8 -9 -10
71+
10 1 2 -3 -4 5 6 7 8 -9 10
72+
10 1 2 -3 -4 5 6 7 8 -9 -10
73+
10 1 2 -3 -4 5 6 7 -8 -9 10
74+
10 1 2 -3 -4 5 6 7 -8 -9 -10
75+
10 1 -2 -3 4 5 6 7 8 -9 10
76+
10 1 -2 -3 4 5 6 7 8 -9 -10
77+
10 1 -2 -3 4 5 6 7 -8 -9 10
78+
10 1 -2 -3 4 5 6 7 -8 -9 -10
79+
10 1 -2 -3 -4 5 6 7 8 -9 10
80+
10 1 -2 -3 -4 5 6 7 8 -9 -10
81+
10 1 -2 -3 -4 5 6 7 -8 -9 10
82+
10 1 -2 -3 -4 5 6 7 -8 -9 -10
83+
11 1 2 -3 4 -5 6 -7 -8 9 10 11
84+
11 1 2 -3 4 -5 6 -7 -8 9 10 -11
85+
11 1 2 -3 4 -5 6 -7 -8 9 -10 11
86+
11 1 2 -3 4 -5 6 -7 -8 9 -10 -11
87+
11 1 -2 -3 4 -5 6 -7 -8 9 10 11
88+
11 1 -2 -3 4 -5 6 -7 -8 9 10 -11
89+
11 1 -2 -3 4 -5 6 -7 -8 9 -10 11
90+
11 1 -2 -3 4 -5 6 -7 -8 9 -10 -11
91+
11 -1 2 -3 4 -5 6 -7 -8 9 10 11
92+
11 -1 2 -3 4 -5 6 -7 -8 9 10 -11
93+
11 -1 2 -3 4 -5 6 -7 -8 9 -10 11
94+
11 -1 2 -3 4 -5 6 -7 -8 9 -10 -11
95+
11 -1 -2 -3 4 -5 6 -7 -8 9 10 11
96+
11 -1 -2 -3 4 -5 6 -7 -8 9 10 -11
97+
11 -1 -2 -3 4 -5 6 -7 -8 9 -10 11
98+
11 -1 -2 -3 4 -5 6 -7 -8 9 -10 -11
99+
9 1 2 3 4 5 -6 7 -9 10
100+
9 1 2 3 -4 5 -6 7 -9 10
101+
9 1 2 -3 4 5 -6 7 -9 10
102+
9 1 2 -3 -4 5 -6 7 -9 10
103+
9 1 -2 3 4 5 -6 7 -9 10
104+
9 1 -2 3 -4 5 -6 7 -9 10
105+
9 1 -2 -3 4 5 -6 7 -9 10
106+
9 1 -2 -3 -4 5 -6 7 -9 10
107+
9 -1 2 3 4 5 -6 7 -9 10
108+
9 -1 2 3 -4 5 -6 7 -9 10
109+
9 -1 2 -3 4 5 -6 7 -9 10
110+
9 -1 2 -3 -4 5 -6 7 -9 10
111+
9 -1 -2 3 4 5 -6 7 -9 10
112+
9 -1 -2 3 -4 5 -6 7 -9 10
113+
9 -1 -2 -3 4 5 -6 7 -9 10
114+
9 -1 -2 -3 -4 5 -6 7 -9 10
115+
9 -1 2 3 4 5 6 7 9 12
116+
9 -1 2 3 4 5 6 -7 9 12
117+
9 -1 2 3 4 5 -6 7 9 12
118+
9 -1 2 3 4 5 -6 -7 9 12
119+
9 -1 2 3 -4 5 6 7 9 12
120+
9 -1 2 3 -4 5 6 -7 9 12
121+
9 -1 2 3 -4 5 -6 7 9 12
122+
9 -1 2 3 -4 5 -6 -7 9 12
123+
9 -1 -2 3 4 5 6 7 9 12
124+
9 -1 -2 3 4 5 6 -7 9 12
125+
9 -1 -2 3 4 5 -6 7 9 12
126+
9 -1 -2 3 4 5 -6 -7 9 12
127+
9 -1 -2 3 -4 5 6 7 9 12
128+
9 -1 -2 3 -4 5 6 -7 9 12
129+
9 -1 -2 3 -4 5 -6 7 9 12
130+
9 -1 -2 3 -4 5 -6 -7 9 12

‎BooleanCalculatorEngine/4.pcn‎

Lines changed: 114 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,114 @@
1+
12
2+
112
3+
6 1 2 3 4 -5 -12
4+
6 1 2 3 -4 -5 -12
5+
6 1 2 -3 4 -5 -12
6+
6 1 2 -3 -4 -5 -12
7+
6 1 -2 3 4 -5 -12
8+
6 1 -2 3 -4 -5 -12
9+
6 1 -2 -3 4 -5 -12
10+
6 1 -2 -3 -4 -5 -12
11+
6 -1 2 3 4 -5 -12
12+
6 -1 2 3 -4 -5 -12
13+
6 -1 2 -3 4 -5 -12
14+
6 -1 2 -3 -4 -5 -12
15+
6 -1 -2 3 4 -5 -12
16+
6 -1 -2 3 -4 -5 -12
17+
6 -1 -2 -3 4 -5 -12
18+
6 -1 -2 -3 -4 -5 -12
19+
7 1 2 3 -4 5 6 7
20+
7 1 2 3 -4 5 6 -7
21+
7 1 2 3 -4 5 -6 7
22+
7 1 2 3 -4 5 -6 -7
23+
7 1 2 3 -4 -5 6 7
24+
7 1 2 3 -4 -5 6 -7
25+
7 1 2 3 -4 -5 -6 7
26+
7 1 2 3 -4 -5 -6 -7
27+
7 1 2 -3 -4 5 6 7
28+
7 1 2 -3 -4 5 6 -7
29+
7 1 2 -3 -4 5 -6 7
30+
7 1 2 -3 -4 5 -6 -7
31+
7 1 2 -3 -4 -5 6 7
32+
7 1 2 -3 -4 -5 6 -7
33+
7 1 2 -3 -4 -5 -6 7
34+
7 1 2 -3 -4 -5 -6 -7
35+
8 1 -2 3 4 -5 6 8 9
36+
8 1 -2 3 4 -5 -6 8 9
37+
8 1 -2 3 -4 -5 6 8 9
38+
8 1 -2 3 -4 -5 -6 8 9
39+
8 1 -2 -3 4 -5 6 8 9
40+
8 1 -2 -3 4 -5 -6 8 9
41+
8 1 -2 -3 -4 -5 6 8 9
42+
8 1 -2 -3 -4 -5 -6 8 9
43+
8 -1 -2 3 4 -5 6 8 9
44+
8 -1 -2 3 4 -5 -6 8 9
45+
8 -1 -2 3 -4 -5 6 8 9
46+
8 -1 -2 3 -4 -5 -6 8 9
47+
8 -1 -2 -3 4 -5 6 8 9
48+
8 -1 -2 -3 4 -5 -6 8 9
49+
8 -1 -2 -3 -4 -5 6 8 9
50+
8 -1 -2 -3 -4 -5 -6 8 9
51+
9 1 2 3 4 5 -6 7 -8 10
52+
9 1 2 3 4 5 -6 -7 -8 10
53+
9 1 2 3 4 -5 -6 7 -8 10
54+
9 1 2 3 4 -5 -6 -7 -8 10
55+
9 1 2 3 -4 5 -6 7 -8 10
56+
9 1 2 3 -4 5 -6 -7 -8 10
57+
9 1 2 3 -4 -5 -6 7 -8 10
58+
9 1 2 3 -4 -5 -6 -7 -8 10
59+
9 -1 2 3 4 5 -6 7 -8 10
60+
9 -1 2 3 4 5 -6 -7 -8 10
61+
9 -1 2 3 4 -5 -6 7 -8 10
62+
9 -1 2 3 4 -5 -6 -7 -8 10
63+
9 -1 2 3 -4 5 -6 7 -8 10
64+
9 -1 2 3 -4 5 -6 -7 -8 10
65+
9 -1 2 3 -4 -5 -6 7 -8 10
66+
9 -1 2 3 -4 -5 -6 -7 -8 10
67+
10 -1 2 -3 -4 5 6 7 8 9 10
68+
10 -1 2 -3 -4 5 6 7 8 9 -10
69+
10 -1 2 -3 -4 5 -6 7 8 9 10
70+
10 -1 2 -3 -4 5 -6 7 8 9 -10
71+
10 -1 2 -3 -4 -5 6 7 8 9 10
72+
10 -1 2 -3 -4 -5 6 7 8 9 -10
73+
10 -1 2 -3 -4 -5 -6 7 8 9 10
74+
10 -1 2 -3 -4 -5 -6 7 8 9 -10
75+
10 -1 -2 -3 -4 5 6 7 8 9 10
76+
10 -1 -2 -3 -4 5 6 7 8 9 -10
77+
10 -1 -2 -3 -4 5 -6 7 8 9 10
78+
10 -1 -2 -3 -4 5 -6 7 8 9 -10
79+
10 -1 -2 -3 -4 -5 6 7 8 9 10
80+
10 -1 -2 -3 -4 -5 6 7 8 9 -10
81+
10 -1 -2 -3 -4 -5 -6 7 8 9 10
82+
10 -1 -2 -3 -4 -5 -6 7 8 9 -10
83+
11 1 2 3 -4 5 -6 -7 8 9 10 12
84+
11 1 2 3 -4 5 -6 -7 8 -9 10 12
85+
11 1 2 3 -4 5 -6 -7 -8 9 10 12
86+
11 1 2 3 -4 5 -6 -7 -8 -9 10 12
87+
11 1 -2 3 -4 5 -6 -7 8 9 10 12
88+
11 1 -2 3 -4 5 -6 -7 8 -9 10 12
89+
11 1 -2 3 -4 5 -6 -7 -8 9 10 12
90+
11 1 -2 3 -4 5 -6 -7 -8 -9 10 12
91+
11 -1 2 3 -4 5 -6 -7 8 9 10 12
92+
11 -1 2 3 -4 5 -6 -7 8 -9 10 12
93+
11 -1 2 3 -4 5 -6 -7 -8 9 10 12
94+
11 -1 2 3 -4 5 -6 -7 -8 -9 10 12
95+
11 -1 -2 3 -4 5 -6 -7 8 9 10 12
96+
11 -1 -2 3 -4 5 -6 -7 8 -9 10 12
97+
11 -1 -2 3 -4 5 -6 -7 -8 9 10 12
98+
11 -1 -2 3 -4 5 -6 -7 -8 -9 10 12
99+
12 1 2 3 4 5 6 7 8 -9 10 -11 12
100+
12 1 2 3 4 5 6 7 8 -9 10 -11 -12
101+
12 1 2 3 4 5 6 7 8 -9 -10 -11 12
102+
12 1 2 3 4 5 6 7 8 -9 -10 -11 -12
103+
12 1 2 3 4 -5 6 7 8 -9 10 -11 12
104+
12 1 2 3 4 -5 6 7 8 -9 10 -11 -12
105+
12 1 2 3 4 -5 6 7 8 -9 -10 -11 12
106+
12 1 2 3 4 -5 6 7 8 -9 -10 -11 -12
107+
12 1 2 -3 4 5 6 7 8 -9 10 -11 12
108+
12 1 2 -3 4 5 6 7 8 -9 10 -11 -12
109+
12 1 2 -3 4 5 6 7 8 -9 -10 -11 12
110+
12 1 2 -3 4 5 6 7 8 -9 -10 -11 -12
111+
12 1 2 -3 4 -5 6 7 8 -9 10 -11 12
112+
12 1 2 -3 4 -5 6 7 8 -9 10 -11 -12
113+
12 1 2 -3 4 -5 6 7 8 -9 -10 -11 12
114+
12 1 2 -3 4 -5 6 7 8 -9 -10 -11 -12

0 commit comments

Comments
 (0)