Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: cryptominisat4 4.5.3-1

Package Actions

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:	LGPL
Submitter:	keenerd
Maintainer:	keenerd
Last Packager:	keenerd
Votes:	2
Popularity:	0.000000
First Submitted:	2015-04-12 08:34 (UTC)
Last Updated:	2016-11-17 19:26 (UTC)

Dependencies (7)

boost-libs
gcc-libs (gcc-libs-git^AUR, gccrs-libs-git^AUR, gcc-libs-snapshot^AUR)
intel-tbb (onetbb-git^AUR, onetbb)
zlib (zlib-git^AUR, zlib-ng-compat-git^AUR, zlib-ng-compat)
boost (boost-git^AUR) (make)
python2^AUR (python2-bin^AUR, stackless2^AUR) (make)
python2^AUR (python2-bin^AUR, stackless2^AUR) (optional) – python module

Required by (0)

Sources (1)

cms4-4.5.3.tgz

Latest Comments

maleadt commented on 2015-08-14 07:05 (UTC)

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"