tjh.dev
1{ lib, fetchFromGitHub, buildOasisPackage, ounit, tcslib, ocaml-sat-solvers }:
2
3buildOasisPackage rec {
4 pname = "pgsolver";
5 version = "4.1";
6
7 src = fetchFromGitHub {
8 owner = "tcsprojects";
9 repo = "pgsolver";
10 rev = "v${version}";
11 sha256 = "16skrn8qql9djpray25xv66rjgfl20js5wqnxyq1763nmyizyj8a";
12 };
13
14 buildInputs = [ ounit ];
15 propagatedBuildInputs = [ tcslib ocaml-sat-solvers ];
16
17 meta = {
18 description = "A collection of tools for generating, manipulating and - most of all - solving parity games";
19 homepage = "https://github.com/tcsprojects/pgsolver";
20 license = lib.licenses.bsd3;
21 maintainers = with lib.maintainers; [ mgttlinger ];
22 mainProgram = "pgsolver-bin";
23 };
24}