This repository contains data files used in worked examples within the IMPROVER repository.
The data stored here supports tutorial materials, documentation examples, and test cases that demonstrate IMPROVER's functionality. By maintaining example data in a separate repository, we keep the main IMPROVER codebase lean while providing realistic datasets for learning and testing.
These data files are typically referenced by examples in the IMPROVER repository. See the IMPROVER documentation for specific examples that use this data.
See LICENSE for licensing information.