27 lines
528 B
Nix
27 lines
528 B
Nix
with import <nixpkgs> {};
|
|
|
|
stdenv.mkDerivation {
|
|
name = "cryptominisat-4.5.3";
|
|
|
|
src = fetchurl {
|
|
url = https://github.com/msoos/cryptominisat/archive/4.5.3.tar.gz;
|
|
sha256 = "0k7blcphchn7pbandbar45zp2i3xrgcayiysv9lc6kbk4l7a4k8i";
|
|
};
|
|
|
|
buildInputs = [
|
|
cmake
|
|
zlib
|
|
sqlite
|
|
boost
|
|
python27
|
|
vim
|
|
];
|
|
|
|
meta = with stdenv.lib; {
|
|
homepage = https://github.com/msoos/cryptominisat;
|
|
description = "An advanced SAT Solver";
|
|
platforms = platforms.all;
|
|
license = licenses.lgpl3;
|
|
};
|
|
}
|