Tjalle zegt dat [[[https://link.springer.com/chapter/10.1007/978-3-031-08166-8_22](https://link.springer.com/chapter/10.1007/978-3-031-08166-8_22 "https://link.springer.com/chapter/10.1007/978-3-031-08166-8_22")|dit]] een goede bron is.

**Deadline: 10 november**

Tjalle's voorstel: 2 mensen aan Z3-bindings en 1 aan WLP.

Taakverdeling: Thomas WLP en Lars en Tsjalle Z3-bindings