Spot

Spot

C++14 library for LTL, ω-automata manipulation, and model checking.

Project ID: 90
Name
Last commit
Last update
bench Loading commit data...
bin Loading commit data...
buddy Loading commit data...
debian Loading commit data...
doc Loading commit data...
elisp Loading commit data...
lib Loading commit data...
m4 Loading commit data...
picosat Loading commit data...
python Loading commit data...
spot Loading commit data...
tests Loading commit data...
tools Loading commit data...
utf8 Loading commit data...
.checklog Loading commit data...
.dir-locals.el Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
AUTHORS Loading commit data...
COPYING Loading commit data...
ChangeLog Loading commit data...
ChangeLog.1 Loading commit data...
HACKING Loading commit data...
Makefile.am Loading commit data...
NEWS Loading commit data...
README Loading commit data...
THANKS Loading commit data...
configure.ac Loading commit data...
spot.spec.in Loading commit data...