Package Details: cpachecker 1.9-2

Git Clone URL: https://aur.archlinux.org/cpachecker.git (read-only, click to copy)
Package Base: cpachecker
Description: Tool for configurable software verification.
Upstream URL: https://svn.sosy-lab.org/software/cpachecker/trunk
Licenses: Apache Version 2.0
Conflicts: cpachecker-svn
Submitter: daniel7
Maintainer: daniel7
Last Packager: daniel7
Votes: 1
Popularity: 0.000000
First Submitted: 2020-03-31 20:12 (UTC)
Last Updated: 2022-05-06 20:59 (UTC)

Dependencies (4)

Required by (0)

Sources (1)