Search Criteria
Package Details: cryptominisat5-git 5.6.8.r171.gc1b9ed65-1
| Git Clone URL: | https://aur.archlinux.org/cryptominisat5-git.git (read-only, click to copy) |
|---|---|
| Package Base: | cryptominisat5-git |
| Description: | A modern multi-threaded SAT solver. With experimental features enabled. |
| Upstream URL: | https://github.com/msoos/cryptominisat/ |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| Submitter: | keenerd |
| Maintainer: | keenerd |
| Last Packager: | keenerd |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2019-04-29 21:43 |
| Last Updated: | 2019-04-29 21:43 |
Dependencies (13)
- boost-libs (boost171, boost-libs-git, boost-libs-171-opt)
- 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)
- cmake (cmake-git) (make)
- git (git-git) (make)
- help2man (help2man-git) (make)
- python (python-dbg) (make)
- python2 (make)
- vim (vim-light, vim-qt-git, vim-qt-qt5-git, neovim-drop-in, vim-clipboard, vim-gnome, gvim-hg, neovim-symlinks, vim-git, vim-x11, gvim-gtk2, gvim) (make)
- python (python-dbg) (optional) – python module
- python2 (optional) – python2 module
Required by (3)
- approxmc-git
- sagemath-git (requires cryptominisat5) (optional)
- stp (requires cryptominisat5)