Search Criteria
Package Details: cvc5-bestperformance 1.2.0-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/cvc5-bestperformance.git (read-only, click to copy) |
---|---|
Package Base: | cvc5-bestperformance |
Description: | An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems configured for highest performance. |
Upstream URL: | https://github.com/cvc5/cvc5 |
Licenses: | GPL3 |
Conflicts: | cvc5, 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: | 2024-09-08 20:43 (UTC) |
Dependencies (21)
- cadicalAUR
- cln
- cryptominisat
- glpk-cut-logAUR
- gmp (gmp-hgAUR)
- libbsd (libbsd-gitAUR)
- libedit
- libpoly (libpoly-gitAUR)
- symfpu-cvc5AUR
- bash (bash-devel-static-gitAUR, bash-devel-gitAUR, busybox-coreutilsAUR, bash-gitAUR) (make)
- cmake (cmake-gitAUR) (make)
- cython (cython-gitAUR, cython0AUR) (make)
- gcc (gcc-gitAUR, gccrs-gitAUR, gcc11AUR, gcc-snapshotAUR) (make)
- java-environment (jdk12AUR, jdk10AUR, jdk10-openj9-binAUR, jdk7AUR, amazon-corretto-16AUR, jdk8-graalvm-binAUR, jdk16-graalvm-binAUR, jdk16-adoptopenjdkAUR, jdk8-armAUR, liberica-jre-11-binAUR, jdk11-j9-binAUR, jdk11-jbr-xdgAUR, jdk16-openjdkAUR, jdk14-openjdkAUR, amazon-corretto-18AUR, jdk18-openjdkAUR, amazon-corretto-19-binAUR, jdk19-graalvm-binAUR, liberica-jre-11-full-binAUR, jdk19-graalvm-ee-binAUR, jdk13-openjdk-binAUR, liberica-jre-8-full-binAUR, jdk11-graalvm-binAUR, jdk-openj9AUR, jdk11-graalvm-ee-binAUR, jdk12-openjdkAUR, jdk11-dragonwell-standard-binAUR, jdk11-jetbrains-binAUR, jdk20-graalvm-binAUR, jdk17-graalvm-binAUR, jdk8-graalvm-ee-binAUR, amazon-corretto-20-binAUR, zulu-15-binAUR, jdk20-openj9-binAUR, zulu-13-binAUR, jdk8-dragonwell-extended-binAUR, jdk8-dragonwell-standard-binAUR, jdk11-dragonwell-extended-binAUR, jdk17-dragonwell-standard-binAUR, jdk11AUR, jdk8-j9-binAUR, jdk7-j9-binAUR, jdk7r1-j9-binAUR, jdk8-dragonwell-extendedAUR, jdk13-openjdkAUR, jdk15-openjdkAUR, jdk21-graalvm-binAUR, jdk8AUR, jdk-openj9-binAUR, jdk11-openj9-binAUR, jdk17-jetbrainsAUR, jdk8-openj9-binAUR, jdk-ltsAUR, microsoft-openjdk-11-binAUR, microsoft-openjdk-17-binAUR, microsoft-openjdk-21-binAUR, jdk17-openj9-binAUR, liberica-nik-24-full-binAUR, jdk21-jetbrains-gitAUR, amazon-corretto-17AUR, amazon-corretto-21-binAUR, amazon-corretto-22-binAUR, amazon-corretto-8AUR, amazon-corretto-11AUR, jdk21-temurinAUR, jdk17-temurinAUR, jdk11-temurinAUR, zulu-21-binAUR, zulu-17-binAUR, zulu-11-binAUR, zulu-8-binAUR, liberica-jdk-8-full-binAUR, liberica-jdk-21-full-binAUR, jdk8-temurinAUR, mandrel-binAUR, mandrel24-binAUR, zulu-17-fx-binAUR, liberica-jdk-17-full-binAUR, liberica-jdk-11-lite-binAUR, liberica-jdk-11-full-binAUR, liberica-jdk-11-binAUR, jdk17-graalvm-ee-binAUR, jdk21-graalvm-ee-binAUR, jdk22-graalvm-ee-binAUR, jdk20-graalvm-ee-binAUR, jdk8-perfAUR, jdk22-graalvm-binAUR, jdk19-openjdkAUR, zulu8-fx-binAUR, zulu11-fx-binAUR, zulu17-fx-binAUR, zulu21-fx-binAUR, jdk-openjdk-wakefieldAUR, jdk17-jetbrains-binAUR, zulu-jdk-fx-binAUR, java-openjdk-binAUR, liberica-jdk-full-binAUR, jabba-binAUR, jdk21-jetbrainsAUR, jdk17-zulu-prime-binAUR, jdk21-openj9-binAUR, jdkAUR, zing-21-binAUR, zing-8-binAUR, jdk23-graalvm-ee-binAUR, java-openjdk-ea-binAUR, jdk-android-studioAUR, jdk21-jetbrains-binAUR, jdk-temurinAUR, jre-jetbrainsAUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jdk8-openjdk) (make)
- mold (mold-gitAUR) (make)
- python-pexpect (make)
- python-pyparsing (make)
- python-scikit-build (make)
- python-tomli (make)
- python3 (python) (make)
- Show 1 more dependencies...
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!