Metadata-Version: 2.1
Name: spot
Version: 2.16
Summary: a library for manipulation of ω-automata and LTL
Home-page: https://spot.lre.epita.fr
Author: Spot authors
Author-email: spot@lrde.epita.fr
License: GPL-3.0-or-later
