Each of the submitted files have been annotated if appropriate.
The solution files to the exercises are structured in the following way:
.
├─── exercise 1 {a, b, c}:
│ ├─── ex1.smv
│ └─── ex1.out
├─── exercise 2 {a, b}:
│ ├─── ex2.b.smv
│ └─── ex2.b.out
├─── exercise 2 {c}:
│ ├─── ex2.c.smv
│ └─── ex2.c.out
├─── exercise 3 {a}:
│ ├─── ex3.a.smv
│ └─── ex3.a.out
├─── exercise 3 {b}:
│ ├─── ex3.b.smv
│ └─── ex3.b.out
├─── exercise 3 {b}:
│ ├─── ex3.c.smv
│ └─── ex3.c.out
└─── exercise 3 {d}:
├─── ex3.d.smv
└─── ex3.d.out