civl
Install command:
brew install civlConcurrency Intermediate Verification Language
https://vsl.cis.udel.edu/civl/
License: GPL-3.0-or-later and LGPL-3.0-or-later and BSD-3-Clause
Formula JSON API: /api/formula/civl.json
Formula code: civl.rb on GitHub
Bottle (binary package) installation support provided.
Current versions:
| stable | ✅ | 1.22-5854 |
Depends on:
| openjdk | 21.0.2 | Development kit for the Java programming language |
| z3 | 4.13.0 | High-performance theorem prover |
Analytics:
| Installs (30 days) | |
|---|---|
civl |
87 |
| Installs on Request (30 days) | |
civl |
87 |
| Build Errors (30 days) | |
civl |
0 |
| Installs (90 days) | |
civl |
289 |
| Installs on Request (90 days) | |
civl |
289 |
| Installs (365 days) | |
civl |
962 |
| Installs on Request (365 days) | |
civl |
962 |
