The purpose of this repository is to store data that are relevant for the main TuLiP repository but that are too large or are relatively easy to reproduce from code already there.
Unless otherwise noted, tags on this repository are considered temporary, and intended to be used for storing build artifacts.