Package Details: quint 0.22.1-1

Git Clone URL: https://aur.archlinux.org/quint.git (read-only, click to copy)
Package Base: quint
Description: An executable specification language with design and tooling focused on usability. It is based on the Temporal Logic of Actions
Upstream URL: https://github.com/informalsystems/quint
Keywords: language logic specification temporal
Licenses: Apache
Submitter: sirspudd
Maintainer: rnbguy
Last Packager: rnbguy
Votes: 0
Popularity: 0.000000
First Submitted: 2016-02-26 21:11 (UTC)
Last Updated: 2024-09-25 16:03 (UTC)