A docker image with Spot 2.10.5 and other tools

This artifact supplements a CAV'22 tool paper submission titled "From Spot 2.0 to Spot 2.10: What's New?" by A. Duret-Lutz and al.

It contains a docker image that can be used to:

• Browse the website of Spot for release 2.10.5, including a running version of an online application for working with LTL formulas.
• Start a Jupyter notebook environment to use Spot's python bindings. This includes a notebook to reproduces the examples from the submission. 
• Running the command-line utilities of Spot
• Rebuild Spot 2.10.5 and run its test suite