Search Criteria
Package Details: cbmc-bin 5.11-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/cbmc-bin.git (read-only, click to copy) |
---|---|
Package Base: | cbmc-bin |
Description: | Bounded Model Checking for ANSI-C |
Upstream URL: | http://www.cprover.org/cbmc/ |
Licenses: | custom |
Conflicts: | cbmc, cbmc-git |
Provides: | cbmc |
Submitter: | vali |
Maintainer: | PythonShell |
Last Packager: | PythonShell |
Votes: | 1 |
Popularity: | 0.000000 |
First Submitted: | 2013-04-23 14:52 (UTC) |
Last Updated: | 2019-02-10 12:13 (UTC) |
Latest Comments
freswa commented on 2015-12-04 16:07 (UTC)