Search Criteria
Package Details: cvc5-bin 1.1.2-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: | 1 |
Popularity: | 0.000007 |
First Submitted: | 2022-10-17 15:52 (UTC) |
Last Updated: | 2024-03-17 13:37 (UTC) |
Dependencies (2)
- cadical-pic
- bash (bash-devel-static-gitAUR, bash-gitAUR, bash-devel-gitAUR, busybox-coreutilsAUR) (make)