pkgs/by-name/ta/tatl/package.nix

   1 {
   2   stdenv,
   3   lib,
   4   fetchFromGitHub,
   5   ocamlPackages,
   6 }:
   7
   8 ocamlPackages.buildDunePackage rec {
   9   duneVersion = "3";
  10   pname = "tatl";
  11   version = "1.0";
  12
  13   src = fetchFromGitHub {
  14     owner = "theoremprover-museum";
  15     repo = "TATL";
  16     tag = "v${version}";
  17     sha256 = "sha256-leP02141kZSUmCDXOfV0TsEn+OQ6WoyM7+9NutLX1qk=";
  18   };
  19
  20   nativeBuildInputs = [ ocamlPackages.menhir ];
  21   propagatedBuildInputs = [ ocamlPackages.ocamlgraph ];
  22
  23   meta = {
  24     description = "Implementation of a tableau-based decision procedure for the full Alternating-time Temporal Logic (ATL*)";
  25     homepage = "https://atila.ibisc.univ-evry.fr/tableau_ATL_star/";
  26     license = lib.licenses.asl20;
  27     maintainers = [ lib.maintainers.mgttlinger ];
  28   };
  29 }