quint

Install command: 
brew install quint

Core tool for the Quint specification language

https://github.com/informalsystems/quint

License: Apache-2.0

Formula JSON API: /api/formula/quint.json

Formula code: quint.rb on GitHub

Bottle (binary package) installation support provided.

Current versions:

stable ✅ 0.29.1

Depends on:

node 25.2.1 Open-source, cross-platform JavaScript runtime environment

Analytics:

Installs (30 days)
quint 50
Installs on Request (30 days)
quint 50
Build Errors (30 days)
quint 0
Installs (90 days)
quint 50
Installs on Request (90 days)
quint 50
Installs (365 days)
quint 50
Installs on Request (365 days)
quint 50