Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

tatl

tatl 1.0 · pkgs/by-name/ta/tatl/package.nix
Sign in to watch

Health

Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
1.0 no newer release known to repology
Channels
master 1.0 · nixos-unstable 1.0 · nixos-26.05 1.0 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Implementation of a tableau-based decision procedure for the full Alternating-time Temporal Logic (ATL*)
Homepage
https://atila.ibisc.univ-evry.fr/tableau_ATL_star/
License
Apache-2.0
Platforms
25 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/ta/tatl/package.nix:24
Maintainers
mgttlinger

Version bumps 0

all open bumps
None open.

Pull requests 0

None open.

Issues 0

None open.