Search Criteria
Package Details: cryptominisat4 4.5.3-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/cryptominisat4.git (read-only, click to copy) |
---|---|
Package Base: | cryptominisat4 |
Description: | A modern, multi-threaded, feature-rich, simplifying SAT solver |
Upstream URL: | http://www.msoos.org/cryptominisat4/ |
Licenses: | LGPL |
Submitter: | keenerd |
Maintainer: | keenerd |
Last Packager: | keenerd |
Votes: | 2 |
Popularity: | 0.000000 |
First Submitted: | 2015-04-12 08:34 (UTC) |
Last Updated: | 2016-11-17 19:26 (UTC) |
Dependencies (7)
- boost-libs (boost-libs-git)
- gcc-libs (gccrs-libs-git, gcc-libs-git, gcc11-libs)
- intel-tbb (tbb2019, tbb2020, onetbb-git, onetbb)
- zlib (zlib-ng-compat-git, zlib-git, zlib-ng-compat)
- boost (boost-git) (make)
- python2 (python2-bin) (make)
- python2 (python2-bin) (optional) – python module
Latest Comments
maleadt commented on 2015-08-14 07:05 (UTC)