civl

1.22-5854

Concurrency Intermediate Verification Language

Install

brew install civl

Details

Homepage: vsl.cis.udel.edu
Type: Formula
License: GPL-3.0-or-later AND LGPL-3.0-or-later AND BSD-3-Clause
Tap: homebrew/core

Sources

Supported platforms

Architecture	Platforms	Version	Download
Intel	All	1.22-5854	File SHA-256 `71c991aa3a7b29a8c41578d2220e02bbaad9b42d000b3119a0f054bd57892f82`

Dependencies

openjdk
z3

Package data

90-day installs: 38
365-day installs: 154