Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: cadical-git 3.0.1.r0.gc6073042-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/cadical-git.git (read-only, click to copy)
Package Base:	cadical-git
Description:	Simplified satisfiability solver
Upstream URL:	https://github.com/arminbiere/cadical
Licenses:	MIT
Conflicts:	cadical
Provides:	cadical
Submitter:	Chocobo1
Maintainer:	Chocobo1
Last Packager:	Chocobo1
Votes:	0
Popularity:	0.000000
First Submitted:	2026-08-15 21:45 (UTC)
Last Updated:	2026-08-15 21:45 (UTC)

Dependencies (4)

glibc (glibc-git^AUR, glibc-git-native-pgo^AUR, glibc-eac^AUR)
libgcc (libgcc-fast-optimized^AUR, libgcc-snapshot^AUR)
libstdc++ (libstdc++-fast-optimized^AUR, libstdc++-snapshot^AUR)
git (git-git^AUR, git-gl^AUR, git-wd40^AUR) (make)

Required by (5)

bitwuzla (requires cadical) (optional)
bitwuzla-docs (requires cadical) (optional)
cvc5 (requires cadical)
cvc5-bestperformance (requires cadical)
cvc5-bin (requires cadical)

Sources (1)

git+https://github.com/arminbiere/cadical.git