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.

factplusplus

factplusplus 1.6.5 · pkgs/by-name/fa/factplusplus/package.nix
Sign in to watch

Health

Risk
risk 1 low
  • +1 no versionCheckHook
Version
1.6.5 no newer release known to repology
Channels
master 1.6.5 · nixos-unstable 1.6.5 · nixos-26.05 1.6.5 no channel is behind master
Hydra
succeeded 4w ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Tableaux-based reasoner for expressive Description Logics (DL)
Homepage
http://owl.cs.manchester.ac.uk/tools/fact/
License
GPL-2.0-or-later
Platforms
28 platforms: Linux, Darwin
Main program
FaCT++
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/fa/factplusplus/package.nix:40
Maintainers
mgttlinger

Version bumps 0

all open bumps
None open.

Pull requests 0

None open.
Closed or merged in the last 60 days 1
treefmt: sha256 -> hash for fetchFromBitbucket
#573427 by KAction · merged 3d ago

Issues 0

None open.