Package Details: ttt2 1.20-1

Git Clone URL: https://aur.archlinux.org/ttt2.git (read-only, click to copy)
Package Base: ttt2
Description: An automatic termination prover for term rewrite systems (TRS)
Upstream URL: http://colo6-c703.uibk.ac.at/ttt2/
Licenses: LGPL
Submitter: simon04
Maintainer: simon04
Last Packager: simon04
Votes: 0
Popularity: 0.000000
First Submitted: 2012-06-05 15:06 (UTC)
Last Updated: 2020-05-04 07:45 (UTC)

Dependencies (6)

Required by (0)

Sources (1)