AUR (en) - Packages

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

1 package found. Page 1 of 1.

Name	Version	Votes	Popularity^?	Description	Maintainer	Last Updated
spot	2.12.2-1	4	0.00	A C++17 library for LTL, omega automata manipulation and model checking.	daizhirui	2025-01-26 00:31 (UTC)

1 package found. Page 1 of 1.