Package Details: cpachecker 2.2-3

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: 2023-06-24 21:56 (UTC)

Dependencies (4)

Required by (0)

Sources (1)