Package Details: cvc5 1.1.2-1

Git Clone URL: (read-only, click to copy)
Package Base: cvc5
Description: An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems
Upstream URL:
Licenses: BSD3
Conflicts: cvc5-bestperformance, 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-03-17 13:37 (UTC)

Dependencies (17)

Required by (0)

Sources (1)

Latest Comments

Groumpf commented on 2024-05-14 08:05 (UTC)

cadical-pic was deleted by its maintainer since the main cadical package is compiled with appropriate flags.