{ stdenv, fetchurl, cmake, zlib, sqlite, boost, python, vim }:

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
    python
    vim
  ];

  meta = with stdenv.lib; {
    homepage = https://github.com/msoos/cryptominisat;
    description = "An advanced SAT Solver";
    platforms = platforms.all;
    license = licenses.lgpl3;
  };
}