Search Criteria
Package Details: cryptominisat4 4.5.3-1
| 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: | |
| Submitter: | keenerd |
| Maintainer: | keenerd |
| Last Packager: | keenerd |
| Votes: | 2 |
| Popularity: | 0.000000 |
| First Submitted: | 2015-04-12 08:34 |
| Last Updated: | 2016-11-17 19:26 |
Dependencies (7)
- boost-libs (boost171, boost-libs-git)
- gcc-libs (gcc-libs-multilib-x32, fastgcc, gcc-libs-multilib-git, gcc-libs-git)
- intel-tbb (intel-tbb-gcc6, tbb)
- zlib (zlib-static, zlib-git, zlib-asm, minizip-asm, zlib-ng-git)
- boost (boost-git) (make)
- python2 (make)
- python2 (optional) – python module
Latest Comments
maleadt commented on 2015-08-14 07:05
There is an issue with this package: when moving the `cryptominisat` binary to `/usr/bin/cryptominisat4` you should also update the CMake installation files, which contain many references to `cryptominisat`. This sed invocation should patch that up:
$ sed -i 's/cryptominisat\b/cryptominisat4/g' "$pkgdir/usr/lib64/cmake/cryptominisat4/*.cmake"