Package Details: quint 0.18.3-1

Git Clone URL: https://aur.archlinux.org/quint.git (read-only, click to copy)
Package Base: quint
Description: Quint is 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
Conflicts: quint
Provides: quint
Submitter: sirspudd
Maintainer: rnbguy
Last Packager: rnbguy
Votes: 0
Popularity: 0.000000
First Submitted: 2016-02-26 21:11 (UTC)
Last Updated: 2024-02-09 00:02 (UTC)