Package Details: apalache-bin 0.25.7-1

Git Clone URL: https://aur.archlinux.org/apalache-bin.git (read-only, click to copy)
Package Base: apalache-bin
Description: A symbolic model checker for TLA+
Upstream URL: https://apalache.informal.systems/
Keywords: distributedsystems informalsystems java modelbasedtesting symbolicmodelchecker tla+ tlc
Licenses: Apache
Conflicts: apalache
Provides: apalache
Submitter: rnbguy
Maintainer: rnbguy
Last Packager: rnbguy
Votes: 0
Popularity: 0.000000
First Submitted: 2021-09-19 20:44 (UTC)
Last Updated: 2022-06-13 16:25 (UTC)

Dependencies (5)

Required by (0)

Sources (2)