quint

Install command: 
brew install quint

Core tool for the Quint specification language

https://github.com/informalsystems/quint

License: Apache-2.0

Development: Pull requests

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

Formula code: quint.rb on GitHub

Bottle (binary package) installation support provided.

Current versions:

stable ✅ 0.31.0

Revision: 1

Depends on:

node@24 24.14.0 Open-source, cross-platform JavaScript runtime environment

Analytics:

Installs (30 days)
quint 63
Installs on Request (30 days)
quint 63
Build Errors (30 days)
quint 0
Installs (90 days)
quint 97
Installs on Request (90 days)
quint 97
Installs (365 days)
quint 154
Installs on Request (365 days)
quint 154