Package Details: csi-hg 1.2.4.r2111.7fe648231f80-1

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

Dependencies (7)

Required by (0)

Sources (1)