commit 5b92a21007eed70ba669a92d0336bbaa07b081a0
Author: Tyson Whitehead <twhitehead@gmail.com>
Date:   Tue May 17 17:12:17 2016 -0400

    cryptominisat: Initial packaging

diff --git a/cryptominisat.nix b/cryptominisat.nix
new file mode 100644
index 0000000..571f8a2
--- /dev/null
+++ b/cryptominisat.nix
@@ -0,0 +1,26 @@
+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;
+  };
+}