Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

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-hg^AUR)
python (python32^AUR, python37^AUR, python310^AUR)
bison (byacc-bison^AUR, bison-git^AUR) (make)
cmake (cmake-git^AUR) (make)
flex (flex-git^AUR) (make)
git (git-git^AUR) (make)
valgrind (valgrind-git^AUR) (check)
z3 (z3-java^AUR, z3-git^AUR) (check)
cvc4 (cvc4-git^AUR) (optional) – Alternative SMT solver
z3 (z3-java^AUR, z3-git^AUR) (optional) – Preferred SMT solver

Required by (0)

Sources (1)

git+https://github.com/Smattr/rumur.git