Search Criteria
Package Details: cadical 1.5.0-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: | keenerd |
Last Packager: | keenerd |
Votes: | 2 |
Popularity: | 0.000893 |
First Submitted: | 2019-04-29 03:43 (UTC) |
Last Updated: | 2022-03-04 06:12 (UTC) |