PyPI page
Home page
Author:
Nestor Catano
License:
MIT License
Summary:
A refinement calculus implementation of Event-B in Python.
Latest version:
1.0.68
Required dependencies:
antlr4-python3-runtime
|
antlr4-tools
|
z3-solver
Downloads last day:
4
Downloads last week:
7
Downloads last month:
47