Search Criteria
Package Details: cvc5-bin 1.3.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.000054 |
| First Submitted: | 2022-10-17 15:52 (UTC) |
| Last Updated: | 2025-06-23 15:21 (UTC) |
Dependencies (2)
- cadicalAUR
- bash (bash-devel-gitAUR, bash-gitAUR) (make)
Required by (2)
- solidity (requires cvc5) (optional)
- stainless-git (requires cvc5) (optional)
Latest Comments
CyanoKobalamyne commented on 2024-06-18 23:10 (UTC)
The
cadical-picpackage has been replaced bycadical. Please update the dependencies accordingly. Thanks!