Search Criteria
Package Details: cadical 1.9.5-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/cadical.git (read-only, click to copy) |
---|---|
Package Base: | cadical |
Description: | A simple CDCL satisfiability solver |
Upstream URL: | http://fmv.jku.at/cadical/ |
Licenses: | MIT |
Submitter: | keenerd |
Maintainer: | meadow |
Last Packager: | meadow |
Votes: | 2 |
Popularity: | 0.000001 |
First Submitted: | 2019-04-29 03:43 (UTC) |
Last Updated: | 2024-03-26 23:08 (UTC) |
Dependencies (2)
- gcc-libs (gccrs-libs-gitAUR, gcc11-libsAUR, gcc-libs-gitAUR)
- glibc (glibc-gitAUR, glibc-linux4AUR, glibc-widevineAUR, glibc-eacAUR)