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