Package Details: cvc5-bin 1.1.2-1

Git Clone URL: https://aur.archlinux.org/cvc5-bin.git (read-only, click to copy)
Package Base: cvc5-bin
Description: An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems
Upstream URL: https://github.com/cvc5/cvc5
Keywords: cvc5 smt
Licenses: BSD3
Conflicts: cvc5
Provides: cvc5
Submitter: Neferin
Maintainer: Neferin
Last Packager: Neferin
Votes: 1
Popularity: 0.000008
First Submitted: 2022-10-17 15:52 (UTC)
Last Updated: 2024-03-17 13:37 (UTC)

Dependencies (2)

Required by (0)

Sources (1)