]> matita.cs.unibo.it Git - fireball-separation.git/blob - ocaml/problems/o
Command line arguments to ./a.out
[fireball-separation.git] / ocaml / problems / o
1 $! o1\r
2 N x a b\r
3 x (_. BOT) c\r
4 \r
5 $! o2\r
6 N x (y (_. BOT) a) c\r
7 x (y a PAC) d\r
8 \r
9 $! o3\r
10 D y (x a1 BOMB c) (x BOMB b1 d)\r
11 C y (x a2 BOMB c) (x BOMB b1 d)\r
12   y (x a1 BOMB c) (x BOMB b2 d)\r
13 \r
14 \r
15 $! o4\r
16 D x BOMB a1 c\r
17 x y BOMB d\r
18 \r
19 $! o6\r
20 D x BOMB\r
21 C x y\r