Package Details: ttt2 1.16.2-1

Git Clone URL: https://aur.archlinux.org/ttt2.git (read-only)
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
Last Updated: 2017-04-11 06:29

Dependencies (3)

Required by (0)

Sources (1)