{ mkDerivation, base, containers, random, rdtsc, stdenv
, transformers
}:
mkDerivation {
  pname = "picosat";
  version = "0.1.4";
  sha256 = "deadbeef";
  libraryHaskellDepends = [ base containers transformers ];
  testHaskellDepends = [ base containers random rdtsc transformers ];
  homepage = "https://github.com/sdiehl/haskell-picosat";
  description = "Bindings to the PicoSAT solver";
  license = stdenv.lib.licenses.mit;
}