Search Criteria
Package Details: cryptominisat5-git 5.6.8.r171.gc1b9ed65-1
Package Actions
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: | MIT |
Conflicts: | cryptominisat5 |
Provides: | cryptominisat5 |
Submitter: | keenerd |
Maintainer: | keenerd |
Last Packager: | keenerd |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2019-04-29 21:43 (UTC) |
Last Updated: | 2019-04-29 21:43 (UTC) |
Dependencies (13)
- 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)
- cmake (cmake-git) (make)
- git (git-vfs, git-run-command-patch-git, git-git, git-fc) (make)
- help2man (help2man-git, python-help2man) (make)
- python (python36, python32, python37, python39, python38, python310, python312) (make)
- python2 (python2-bin) (make)
- vim (neovim-drop-in, vim-git, vim-qt-git, neovim-symlinks, vim-x11, neovim-vim-compat, nvim-vim, gvim-wayland-lilydjwg-git, vim-clipboard, gvim-gtk2, gvim) (make)
- python (python36, python32, python37, python39, python38, python310, python312) (optional) – python module
- python2 (python2-bin) (optional) – python2 module
Required by (2)
- approxmc-git
- sagemath-git (requires cryptominisat5) (optional)