Package Details: spot 2.0-1

Git Clone URL: https://aur.archlinux.org/spot.git (read-only)
Package Base: spot
Description: Spot is a C++11 library for omega automata manipulation and model checking.
Upstream URL: https://spot.lrde.epita.fr/index.html
Keywords: Buchy LTL omega-automata
Licenses: GPL3
Submitter: vl.still
Maintainer: vl.still
Last Packager: vl.still
Votes: 0
Popularity: 0.000000
First Submitted: 2016-04-19 08:23
Last Updated: 2016-04-19 08:23