blob: e7bbe9b936ada375d18588b45892d796eb0e6947 (
plain)
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
37
38
39
|
{
lib,
fetchFromGitHub,
buildDunePackage,
iter,
containers,
mdx,
}:
buildDunePackage (finalAttrs: {
pname = "msat";
version = "0.9.1";
src = fetchFromGitHub {
owner = "Gbury";
repo = "mSAT";
rev = "v${finalAttrs.version}";
hash = "sha256-ER7ZUejW+Zy3l2HIoFDYbR8iaKMvLZWaeWrOAAYXjG4=";
};
propagatedBuildInputs = [
iter
];
postPatch = ''
substituteInPlace dune --replace mdx ocaml-mdx
'';
doCheck = true;
checkInputs = [ containers ];
nativeCheckInputs = [ mdx.bin ];
meta = {
description = "Modular sat/smt solver with proof output";
homepage = "https://gbury.github.io/mSAT/";
license = lib.licenses.asl20;
maintainers = [ lib.maintainers.vbgl ];
};
})
|
