Package Details: cvc5-bestperformance 1.2.0-1

Git Clone URL: https://aur.archlinux.org/cvc5-bestperformance.git (read-only, click to copy)
Package Base: cvc5-bestperformance
Description: An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance.
Upstream URL: https://github.com/cvc5/cvc5
Licenses: GPL3
Conflicts: cvc5, cvc5-bin
Provides: cvc5
Submitter: Neferin
Maintainer: Neferin
Last Packager: Neferin
Votes: 0
Popularity: 0.000000
First Submitted: 2023-09-17 15:24 (UTC)
Last Updated: 2024-09-08 20:43 (UTC)

Dependencies (21)

Required by (0)

Sources (1)

Latest Comments

CyanoKobalamyne commented on 2024-06-18 23:10 (UTC)

The cadical-pic package has been replaced by cadical. Please update the dependencies accordingly. Thanks!