Philippe Suter

Provide Docker container for truly hassle-free install

6

Without it, I'm afraid TODOit can't be DevOp'd properly.

Clarify relationship to VR and Deep Learning

2

I mean, it must be related?

`QuickPA` test fails with Z3 >= 4.0

1

We should check whether something changed in the interface for theory plugins. Note that the [BAPA plugin](https://github.com/psuter/bapa-z3) appears to work fine (Linux 32bit).