Package Details: quint 0.18.3-1

Git Clone URL: (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:
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)