uni/fmi/fmi23block4

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