Package Details: ttt2-hg 1.20.1.r2116.7c846900def0-1

Git Clone URL: https://aur.archlinux.org/ttt2-hg.git (read-only, click to copy)
Package Base: ttt2-hg
Description: An automatic termination prover for term rewrite systems (TRSs) (mercurial version)
Upstream URL: http://colo6-c703.uibk.ac.at/ttt2
Keywords: rewriting term termination
Licenses: LGPL
Conflicts: ttt2
Provides: ttt2
Submitter: ruffy
Maintainer: ruffy
Last Packager: ruffy
Votes: 0
Popularity: 0.000000
First Submitted: 2020-05-08 15:20 (UTC)
Last Updated: 2020-07-07 08:29 (UTC)

Dependencies (7)

Required by (0)

Sources (1)