The description of the tools …

The description of the tools that can be used for assignment 1 has been improved and is now available as a separate link from the course page. It contains also a link to a VirtualBox virtual machine image that allows you to set up a test environment on a single machine.