imandra

Python interface to Imandra (cloud-native automated reasoning engine for analysis of algorithms)

Installation

sudo pip3 install imandra

Should I use sudo? pip or pip3?

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?

Page last updated 2022-03-28 15:46:28 UTC