Search Criteria
Package Details: cvc5 1.0.8-2
Package Actions
| Git Clone URL: | https://aur.archlinux.org/cvc5.git (read-only, click to copy) |
|---|---|
| Package Base: | cvc5 |
| Description: | An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems |
| Upstream URL: | https://github.com/cvc5/cvc5 |
| 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: | 2023-09-20 16:41 (UTC) |
Dependencies (17)
- cadical-pic
- gmp (gmp-hg)
- libbsd (libbsd-git)
- libedit
- libpoly-git
- symfpu-cvc5
- bash (bash-devel-static-git, bash-git, bash-xdg, bash-devel-git, busybox-coreutils) (make)
- cmake (cmake-git) (make)
- cython (cython-git, cython0) (make)
- gcc (gccrs-git, gcc-git, gcc11) (make)
- java-environment (java-gcj-compat, zulu-10-bin, jdk12-openj9-bin, zulu-12-bin, jdk12, jdk13-openj9-bin, jdk9-openj9-bin, jdk10, jdk10-openj9-bin, jdk14-openj9-bin, jdk7, zulu-14-bin, amazon-corretto-15, zulu-embedded-jdk8, sapmachine-jdk-bin, amazon-corretto-16, jdk8-graalvm-bin, jdk16-graalvm-bin, jdk8-openjdk-shenandoah, zulu-16-bin, jdk16-adoptopenjdk, jdk16-microsoft-openjdk, jdk11-msopenjdk-bin, jdk18-beta-temurin, jdk8-arm, jdk17-jetbrains, liberica-jdk-11-bin, liberica-jdk-11-lite-bin, liberica-jre-11-bin, jdk11-jetbrains-imfix, java-openjdk-loom-ea-bin, jdk7-j9-bin, jdk7r1-j9-bin, jdk8-j9-bin, jdk11-j9-bin, jdk11-jbr-xdg, jdk16-openjdk, jdk13-openjdk, jdk14-openjdk, jdk-bcl, amazon-corretto-18, zulu-18-bin, zulu-13-bin, bishengjdk-17, jdk-arm, jdk11-openj9-bin, jdk-openj9-bin, jdk-jbr-xdg, jdk18-openjdk, jdk18-openj9-bin, jdk-android-studio, amazon-corretto-19-bin, zulu-19-bin, jdk19-graalvm-bin, liberica-jre-11-full-bin, jdk19-graalvm-ee-bin, jdk13-openjdk-bin, zulu-embedded-jdk, jabba-bin, jdk8-openjdk-xdg, jdk17-openjdk-xdg, jdk15-openjdk, zulu-embedded-jdk11, liberica-jre-8-full-bin, jdk11-graalvm-bin, jdk18-temurin, jdk19-openjdk, jdk11-microsoft-openjdk, jdk-openj9, jdk11-graalvm-ee-bin, jre-jetbrains, jdk17-jetbrains-imfix, jdk11-openjdk-dcevm, jdk12-openjdk, jdk8-dragonwell-extended, jdk-jetbrains, jdk8-dragonwell-extended-bin, jdk8-dragonwell-standard-bin, jdk11-dragonwell-extended-bin, jdk11-dragonwell-standard-bin, jdk11-jetbrains-bin, jdk8-openj9-bin, jdk17-dragonwell-standard-bin, amazon-corretto-8, zulu-8-bin, zulu-20-bin, zulu-jdk-fx-bin, jdk-temurin, jdk17-graalvm-ee-bin, jdk20-graalvm-ee-bin, liberica-jdk-8-full-bin, jdk20-graalvm-bin, jdk17-graalvm-bin, mandrel-bin, jdk-lts, jdk17-zulu-prime-bin, jdk8-graalvm-ee-bin, jdk8-aarch64, jdk8-temurin, jdk8-adoptopenjdk, liberica-jdk-11-full-bin, liberica-jdk-17-full-bin, amazon-corretto-20-bin, amazon-corretto-17, zulu-15-bin, jdk8, jdk21-jetbrains-bin, jdk21-jetbrains-imfix, amazon-corretto-11, jdk17-jetbrains-bin, jdk-microsoft-openjdk, jdk17-openj9-bin, jdk20-openj9-bin, java-openjdk-bin, zulu-21-bin, amazon-corretto-21-bin, jdk11, liberica-jdk-full-bin, jdk-openjdk-xdg, java-openjdk-ea-bin, jdk11-temurin, jdk17-temurin, jdk, zulu-11-bin, zulu-17-bin, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk8-openjdk) (make)
- python-pyparsing (make)
- python-scikit-build (make)
- python-tomli (make)
- python3 (python) (make)
- cmake (cmake-git) (check)
- python-cvc5 (optional) – Python bindings for cvc5