Search Criteria
Package Details: glucose 4.2.1-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/glucose.git (read-only, click to copy) |
|---|---|
| Package Base: | glucose |
| Description: | Parallel SAT solver based on Minisat, with glue clauses. |
| Upstream URL: | http://www.labri.fr/perso/lsimon/glucose/ |
| Licenses: | MIT |
| Submitter: | keenerd |
| Maintainer: | gilcu3 |
| Last Packager: | gilcu3 |
| Votes: | 1 |
| Popularity: | 0.000000 |
| First Submitted: | 2015-07-27 10:13 (UTC) |
| Last Updated: | 2024-11-04 10:39 (UTC) |
Dependencies (2)
- gcc-libs (gcc-libs-gitAUR, gccrs-libs-gitAUR, gcc-libs-snapshotAUR)
- zlib (zlib-gitAUR, zlib-ng-compat-gitAUR, zlib-ng-compat)