Search Criteria
Package Details: rumur 2020.12.20-1
Git Clone URL: | https://aur.archlinux.org/rumur.git (read-only, click to copy) |
---|---|
Package Base: | rumur |
Description: | Yet another Murphi model checker |
Upstream URL: | https://github.com/Smattr/rumur |
Licenses: | |
Submitter: | wangqr |
Maintainer: | wangqr |
Last Packager: | wangqr |
Votes: | 0 |
Popularity: | 0.000000 |
First Submitted: | 2019-03-17 10:39 |
Last Updated: | 2021-02-21 14:42 |
Dependencies (9)
- gmp (gmp-hg, scipoptsuite, scipoptsuite-bin)
- python (python-dbg)
- valgrind (valgrind-git) (check)
- z3 (z3-bin, z3-java, z3-git) (check)
- cmake (cmake-git) (make)
- flex (flex-git) (make)
- bison>=3.3.2 (byacc-bison, bison-git) (make)
- cvc4 (cvc4-git) (optional) – Alternative SMT solver
- z3 (z3-bin, z3-java, z3-git) (optional) – Preferred SMT solver