Search Criteria
Package Details: rumur-git 2019.12.22.r0.ga1b6d61-1
Package Actions
Git Clone URL: | https://aur.archlinux.org/rumur-git.git (read-only, click to copy) |
---|---|
Package Base: | rumur-git |
Description: | Yet another Murphi model checker |
Upstream URL: | https://github.com/Smattr/rumur |
Licenses: | custom:UNLICENSE |
Conflicts: | rumur |
Provides: | rumur |
Submitter: | wangqr |
Maintainer: | wangqr |
Last Packager: | wangqr |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2019-03-17 10:39 (UTC) |
Last Updated: | 2019-12-24 17:52 (UTC) |
Dependencies (10)
- gmp (gmp-hgAUR)
- python (python37AUR, python311AUR, python310AUR)
- bison (byacc-bisonAUR, bison-gitAUR) (make)
- cmake (cmake-gitAUR) (make)
- flex (flex-gitAUR) (make)
- git (git-gitAUR, git-glAUR) (make)
- valgrind (valgrind-gitAUR) (check)
- z3 (z3-gitAUR) (check)
- cvc4 (optional) – Alternative SMT solver
- z3 (z3-gitAUR) (optional) – Preferred SMT solver