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

Required by (1)

approxmc-git

Sources (1)

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