Search Criteria
Package Details: cvc5-bin 1.2.0-1
Package Actions
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: | 2 |
Popularity: | 0.069512 |
First Submitted: | 2022-10-17 15:52 (UTC) |
Last Updated: | 2024-09-08 20:43 (UTC) |
Dependencies (2)
- cadicalAUR
- bash (bash-devel-static-gitAUR, bash-devel-gitAUR, busybox-coreutilsAUR, bash-gitAUR) (make)
Required by (1)
- stainless-git (requires cvc5) (optional)
Latest Comments
CyanoKobalamyne commented on 2024-06-18 23:10 (UTC)
The
cadical-pic
package has been replaced bycadical
. Please update the dependencies accordingly. Thanks!