diff options
author | Jörg Thalheim <joerg@thalheim.io> | 2017-05-14 09:52:45 +0100 |
---|---|---|
committer | Jörg Thalheim <joerg@thalheim.io> | 2017-05-22 22:24:58 +0100 |
commit | 77869222402a0a2e926f770f3d62dd86430cd521 (patch) | |
tree | 9a918c2b8d4c24cc3f8aff528dfe55c6cb7a4d12 /pkgs | |
parent | 297506d5635af2ff2f0bfe4bc499489ec5931fe8 (diff) | |
download | nixlib-77869222402a0a2e926f770f3d62dd86430cd521.tar nixlib-77869222402a0a2e926f770f3d62dd86430cd521.tar.gz nixlib-77869222402a0a2e926f770f3d62dd86430cd521.tar.bz2 nixlib-77869222402a0a2e926f770f3d62dd86430cd521.tar.lz nixlib-77869222402a0a2e926f770f3d62dd86430cd521.tar.xz nixlib-77869222402a0a2e926f770f3d62dd86430cd521.tar.zst nixlib-77869222402a0a2e926f770f3d62dd86430cd521.zip |
minisatUnstable: init at 2013-09-25
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/applications/science/logic/minisat/unstable.nix | 23 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 1 |
2 files changed, 24 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/minisat/unstable.nix b/pkgs/applications/science/logic/minisat/unstable.nix new file mode 100644 index 000000000000..f7f5c7a4b78d --- /dev/null +++ b/pkgs/applications/science/logic/minisat/unstable.nix @@ -0,0 +1,23 @@ +{ stdenv, fetchFromGitHub, zlib, cmake }: + +stdenv.mkDerivation rec { + name = "minisat-unstable-2013-09-25"; + + src = fetchFromGitHub { + owner = "niklasso"; + repo = "minisat"; + rev = "37dc6c67e2af26379d88ce349eb9c4c6160e8543"; + sha256 = "091hf3qkm197s5r7xcr3m07xsdwyz2rqk1hc9kj0hn13imz09irq"; + }; + + buildInputs = [ zlib ]; + nativeBuildInputs = [ cmake ]; + + meta = with stdenv.lib; { + description = "Compact and readable SAT solver"; + maintainers = with maintainers; [ Mic92 ]; + platforms = platforms.unix; + license = licenses.mit; + homepage = "http://minisat.se/"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index d72af8b24c8b..b620608b7d30 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -17848,6 +17848,7 @@ with pkgs; mcrl2 = callPackage ../applications/science/logic/mcrl2 { }; minisat = callPackage ../applications/science/logic/minisat {}; + minisatUnstable = callPackage ../applications/science/logic/minisat/unstable.nix {}; opensmt = callPackage ../applications/science/logic/opensmt { }; |