Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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^AUR)
gcc-libs (gccrs-libs-git^AUR, gcc11-libs^AUR, gcc-libs-git^AUR)
intel-tbb (tbb2020^AUR, onetbb-git^AUR, onetbb)
zlib (zlib-ng-compat-git^AUR, zlib-git^AUR, zlib-ng-compat^AUR)
boost (boost-git^AUR) (make)
cmake (cmake-git^AUR) (make)
git (git-git^AUR) (make)
help2man (help2man-git^AUR, python-help2man^AUR) (make)
python (python32^AUR, python37^AUR, python310^AUR) (make)
python2^AUR (python2-bin^AUR) (make)
vim (neovim-drop-in^AUR, vim-git^AUR, neovim-symlinks^AUR, neovim-vim-compat^AUR, gvim-wayland-lilydjwg-git^AUR, vim-clipboard^AUR, gvim-gtk2^AUR, gvim) (make)
python (python32^AUR, python37^AUR, python310^AUR) (optional) – python module
python2^AUR (python2-bin^AUR) (optional) – python2 module

Required by (4)

approxmc-git
bitwuzla (requires cryptominisat5) (optional)
bitwuzla-doc (requires cryptominisat5) (optional)
bitwuzla-git (requires cryptominisat5) (optional)

Sources (1)

git+https://github.com/msoos/cryptominisat/