Package Details: apalache 0.15.13-1

Git Clone URL: https://aur.archlinux.org/apalache.git (read-only, click to copy)
Package Base: apalache
Description: Apalache: symbolic model checker for TLA+
Upstream URL: https://apalache.informal.systems/
Keywords: tlc
Licenses: Apache
Submitter: rnbguy
Maintainer: rnbguy
Last Packager: rnbguy
Votes: 0
Popularity: 0.000000
First Submitted: 2021-07-16 13:11
Last Updated: 2021-08-31 09:53

Dependencies (6)

Required by (0)

Sources (2)