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
cvc5-bin	1.2.0-1	2	0.14	An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems	Neferin	2024-09-08 20:43 (UTC)

1 package found. Page 1 of 1.