Public Packages

Organization to hold public packages and their repos.

Repositories

1

Projects Packages

cvc5-bestperformance (1.3.0-2)

Published 2025-08-10 20:20:35 +00:00 by julian

Installation

Add server with related repository and architecture to /etc/pacman.conf:

[public.git.pollinger.dev]
SigLevel = Optional TrustAll
Server = 

Sync package with pacman:

pacman -Sy cvc5-bestperformance

For more information on the Arch registry, see the documentation.

Repository Info

Repositories	extra
Architectures	x86_64

About this package

An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance.

Details

Arch

2025-08-10 20:20:35 +00:00

21

GPL3

Project Site

8.5 MiB

Assets (1)

cvc5-bestperformance-1.3.0-2-x86_64.pkg.tar.zst 8.5 MiB

Versions (1) View all

1.3.0-2 2025-08-10