Code Examples

Table of Contents

This section contains code examples for using Spot. This is a work in progress. Feel free to send suggestions of small tasks you would like to see illustrated here.

If you have difficulties compiling the C++ examples, check out these instructions.

Reading the concepts page might help if you are not familiar with some of the objects manipulated here.

Examples with Shell, Python, and C++

Examples in Python and C++

Examples in C++ only

Examples in Python only

In directory python/tests, the Spot tarball contains a small collection of IPython notebooks. As the name of the directory implies, these are part of the test suite for the Python bindings, however they can be interesting to look at if you want to see more code examples.

For convenience, the following links offer static HTML renderings of these notebooks, but we strongly suggest interactively evaluating the real notebooks instead.