Spot

Project information

C++20 library for LTL, ω-automata manipulation, and model checking. Comes with Python bindings.

7,243 Commits
287 Branches
152 Tags

README
GNU GPLv3
CHANGELOG

Created on

December 05, 2014

Loading