Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: spin-git 6.5.2.r23.g6651f97-1

Package Actions

Git Clone URL:	https://aur.archlinux.org/spin-git.git (read-only, click to copy)
Package Base:	spin-git
Description:	Explicit state logic model checking tool
Upstream URL:	https://spinroot.com/
Licenses:	custom:BSD3
Conflicts:	spin
Provides:	spin
Submitter:	kyechou
Maintainer:	kyechou
Last Packager:	kyechou
Votes:	0
Popularity:	0.000000
First Submitted:	2019-08-07 20:53 (UTC)
Last Updated:	2020-12-24 18:20 (UTC)

Dependencies (5)

glibc (glibc-git^AUR, glibc-linux4^AUR, glibc-eac^AUR)
ispin (optional) – GUI for Spin
modex (optional) – extract verification models from implementation C code
swarm^AUR (optional) – improved performance on large verification problems
tcl (tcl84^AUR, tcl-fossil^AUR) (optional) – ispin graphical interface

Required by (2)

jspin (requires spin)
xspin (requires spin)

Sources (1)

spin-git