blob: d5893dc55e0434d7486dceb3b9d670188aacc919 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
{ lib, fetchFromGitHub, buildDunePackage
, iter
, containers
, mdx
}:
buildDunePackage rec {
pname = "msat";
version = "0.9.1";
src = fetchFromGitHub {
owner = "Gbury";
repo = "mSAT";
rev = "v${version}";
hash = "sha256-ER7ZUejW+Zy3l2HIoFDYbR8iaKMvLZWaeWrOAAYXjG4=";
};
propagatedBuildInputs = [
iter
];
postPatch = ''
substituteInPlace dune --replace mdx ocaml-mdx
'';
doCheck = true;
checkInputs = [ containers ];
nativeCheckInputs = [ mdx.bin ];
meta = {
description = "A modular sat/smt solver with proof output.";
homepage = "https://gbury.github.io/mSAT/";
license = lib.licenses.asl20;
maintainers = [ lib.maintainers.vbgl ];
};
}
|