Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: cvc5 1.2.0-1

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:	2024-09-08 20:43 (UTC)

Dependencies (19)

cadical^AUR
gmp (gmp-hg^AUR)
libbsd (libbsd-git^AUR)
libedit
libpoly (libpoly-git^AUR)
symfpu-cvc5^AUR
bash (bash-devel-git^AUR, bash-git^AUR) (make)
cmake (cmake-git^AUR, cmake3^AUR) (make)
cython (cython-git^AUR) (make)
gcc (gcc-git^AUR, gccrs-git^AUR, gcc-snapshot^AUR) (make)
java-environment (jdk12^AUR, jdk10^AUR, jdk10-openj9-bin^AUR, jdk7^AUR, amazon-corretto-16^AUR, jdk8-graalvm-bin^AUR, jdk16-graalvm-bin^AUR, jdk16-adoptopenjdk^AUR, liberica-jre-11-bin^AUR, jdk11-j9-bin^AUR, jdk16-openjdk^AUR, jdk14-openjdk^AUR, jdk18-openjdk^AUR, amazon-corretto-19-bin^AUR, jdk19-graalvm-bin^AUR, liberica-jre-11-full-bin^AUR, jdk19-graalvm-ee-bin^AUR, jdk13-openjdk-bin^AUR, liberica-jre-8-full-bin^AUR, jdk11-graalvm-bin^AUR, jdk-openj9^AUR, jdk11-graalvm-ee-bin^AUR, jdk12-openjdk^AUR, jdk11-dragonwell-standard-bin^AUR, jdk11-jetbrains-bin^AUR, jdk20-graalvm-bin^AUR, jdk17-graalvm-bin^AUR, jdk20-openj9-bin^AUR, zulu-13-bin^AUR, jdk8-dragonwell-extended-bin^AUR, jdk8-dragonwell-standard-bin^AUR, jdk11-dragonwell-extended-bin^AUR, jdk17-dragonwell-standard-bin^AUR, jdk8-j9-bin^AUR, jdk7-j9-bin^AUR, jdk7r1-j9-bin^AUR, jdk13-openjdk^AUR, jdk15-openjdk^AUR, jdk21-graalvm-bin^AUR, jdk17-jetbrains^AUR, microsoft-openjdk-11-bin^AUR, microsoft-openjdk-17-bin^AUR, microsoft-openjdk-21-bin^AUR, liberica-nik-24-full-bin^AUR, jdk21-jetbrains-git^AUR, zulu-8-bin^AUR, mandrel-bin^AUR, mandrel24-bin^AUR, liberica-jdk-11-lite-bin^AUR, jdk17-graalvm-ee-bin^AUR, jdk22-graalvm-ee-bin^AUR, jdk20-graalvm-ee-bin^AUR, jdk22-graalvm-bin^AUR, jdk19-openjdk^AUR, zulu-jdk-fx-bin^AUR, jabba-bin^AUR, jdk21-jetbrains^AUR, jdk17-zulu-prime-bin^AUR, zulu-fx-bin^AUR, zulu8-fx-bin^AUR, zulu11-fx-bin^AUR, zulu17-fx-bin^AUR, zulu21-fx-bin^AUR, jdk11-openj9-bin^AUR, jdk-openjdk-wakefield^AUR, jre-zulu-bin^AUR, jre-zulu-fx-bin^AUR, jdk-android-studio^AUR, jdk-openj9-bin^AUR, zulu-11-bin^AUR, jdk8-graalvm-ee-bin^AUR, jdk11^AUR, jdk21-graalvm-ee-bin^AUR, jdk8-openj9-bin^AUR, jdk8-temurin^AUR, jdk8^AUR, amazon-corretto-17^AUR, amazon-corretto-21-bin^AUR, jdk23-graalvm-ee-bin^AUR, openjdk-zulu8-ca-fx-bin^AUR, openjdk-zulu11-ca-fx-bin^AUR, openjdk-zulu17-ca-fx-bin^AUR, openjdk-zulu21-ca-fx-bin^AUR, openjdk-liberica8-full-bin^AUR, openjdk-liberica11-full-bin^AUR, openjdk-liberica17-full-bin^AUR, openjdk-liberica21-full-bin^AUR, openjdk-zulu-ca-fx-bin^AUR, openjdk-liberica-full-bin^AUR, jdk24-graalvm-ee-bin^AUR, jdk8-perf^AUR, zing-21-bin^AUR, jre-jetbrains^AUR, jdk21-jetbrains-bin^AUR, jdk17-jetbrains-bin^AUR, jdk21-dragonwell-standard-bin^AUR, jdk21-dragonwell-extended-bin^AUR, java-openjdk-bin^AUR, jdk24-graalvm-ce-bin^AUR, jdk^AUR, jdk-lts^AUR, liberica-jdk-full-bin^AUR, liberica-jdk-21-full-bin^AUR, liberica-jdk-8-full-bin^AUR, jdk8-dragonwell-extended^AUR, liberica-jdk-11-bin^AUR, zulu-17-bin^AUR, liberica-jdk-11-full-bin^AUR, liberica-jdk-21-bin^AUR, zulu-17-fx-bin^AUR, liberica-jdk-17-full-bin^AUR, zulu-21-bin^AUR, amazon-corretto-8^AUR, amazon-corretto-11^AUR, jdk-temurin^AUR, jdk21-temurin^AUR, jdk17-temurin^AUR, jdk11-temurin^AUR, zing-8-bin^AUR, zulu-24-bin^AUR, jdk23-temurin^AUR, liberica-nik-23-full-bin^AUR, zing-23-bin^AUR, jdk22-openjdk^AUR, jdk23-openjdk^AUR, jdk21-openj9-bin^AUR, jdk17-openj9-bin^AUR, java-openjdk-ea-bin^AUR, jdk-openjdk, jdk11-openjdk, jdk17-openjdk, jdk21-openjdk, jdk8-openjdk) (make)
mold (mold-git^AUR) (make)
python-pexpect (make)
python-pyparsing (make)
python-scikit-build (make)
python-tomli (make)
python3 (python) (make)
cmake (cmake-git^AUR, cmake3^AUR) (check)
python-cvc5^AUR (optional) – Python bindings for cvc5

Required by (2)

solidity (optional)
stainless-git (optional)

Sources (1)

https://github.com/cvc5/cvc5/archive/refs/tags/cvc5-1.2.0.tar.gz

Latest Comments

Groumpf commented on 2024-05-14 08:05 (UTC)

cadical-pic was deleted by its maintainer since the main cadical package is compiled with appropriate flags.

https://www.mail-archive.com/aur-requests@lists.archlinux.org/msg72400.html