imandra
Python interface to Imandra (cloud-native automated reasoning engine for analysis of algorithms)
Installation
sudo pip3 install imandra
Releases
| Version | Released | Stretch Python 3.5 |
Buster Python 3.7 |
Bullseye Python 3.9 |
Files |
|---|---|---|---|---|---|
| 0.1.12 | 2019-10-24 | ||||
|
|||||
| 0.1.11 | 2019-10-02 | ||||
|
|||||
| 0.1.10 | 2019-09-23 | ||||
|
|||||
| 0.1.9 | 2019-08-28 | ||||
|
|||||
| 0.1.5 | 2019-08-05 | ||||
| 0.1.4 | 2019-08-05 | ||||
| 0.1.3 | 2019-08-01 | ||||
Issues with this package?
- Search issues for this package
- Package or version missing? Open a new issue
- Something else? Open a new issue