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