Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: cadical 2.1.1-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/cadical.git (read-only, click to copy)
Package Base:	cadical
Description:	Simple CDCL satisfiability solver
Upstream URL:	https://fmv.jku.at/cadical/
Licenses:	MIT
Submitter:	keenerd
Maintainer:	meadow
Last Packager:	meadow
Votes:	2
Popularity:	0.000000
First Submitted:	2019-04-29 03:43 (UTC)
Last Updated:	2024-12-19 16:45 (UTC)

Dependencies (2)

gcc-libs (gcc-libs-git^AUR, gccrs-libs-git^AUR, gcc11-libs^AUR, gcc-libs-snapshot^AUR)
glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR, glibc-eac-bin^AUR, glibc-eac-roco^AUR)

Required by (5)

Sources (1)

https://github.com/arminbiere/cadical/archive/rel-2.1.1.tar.gz