tjh.dev
1{ ocamlPackages }:
2
3with ocamlPackages;
4buildDunePackage {
5 pname = "msat-bin";
6
7 inherit (msat) version src;
8
9 buildInputs = [
10 camlzip
11 containers
12 msat
13 ];
14
15 meta = msat.meta // {
16 description = "SAT solver binary based on the msat library";
17 mainProgram = "msat";
18 };
19}