Warning: file_exists(): open_basedir restriction in effect. File(/srv/http/vhosts/aur.archlinux.org/public/web/locale//en/LC_MESSAGES/aurweb.mo) is not within the allowed path(s): (/srv/http/vhosts/aur-dev.archlinux.org/:/etc/aurweb/) in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/streams.php on line 90
AUR (en) - spot

Notice: Undefined variable: name in /srv/http/vhosts/aur-dev.archlinux.org/public/web/lib/pkgfuncs.inc.php on line 248

Package Details: spot 2.0-1

Git Clone URL: https://aur-dev.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