PyPI page
Home page
Author:
ERTL, Nagoya University
Summary:
Contract Architecture Description Language — a DSL for formally specifying, verifying, and deploying institutional designs in System of Systems
Latest version:
0.3.14
Required dependencies:
lark
|
pyyaml
|
z3-solver
Optional dependencies:
anthropic
|
build
|
pytest
|
pytest-cov
|
twine
Downloads last day:
244
Downloads last week:
1,287
Downloads last month:
0
7-day smoothing