quint

0.33.0

Core tool for the Quint specification language

Install

brew install quint

Details

Homepage: quint-lang.org
Type: Formula
License: Apache-2.0
Tap: homebrew/core

Sources

Supported platforms

Architecture	Platforms	Version	Download
Intel	All	0.33.0	File SHA-256 `ccb480bac53276c65a44ea8ef41499e2d2c951b27ba47a435717a5a3c23503da`

Dependencies

node

Package data

30-day installs: 21
90-day installs: 84
365-day installs: 385