This directory contains an interface that presents DiVinE and PROMELA
models as kripke* objects for Spot.

For usage and installation instructions, see the file README.ltsmin in
the top directory.
