imandra

A CLI and API client library for interfacing with Imandra's web APIs

Installation

In a virtualenv (see these instructions if you need to create one):

pip3 install imandra

Releases

Version Released Bullseye
Python 3.9
Bookworm
Python 3.11
Files
2.0.6 2025-06-30
2.0.5 2025-06-27
2.0.4 2025-06-24
2.0.3 2025-06-13
2.0.2 2025-05-30
2.0.1 2025-03-25    
2.0.0 2025-02-06    
2.0.0b7 pre-release 2025-01-22    
2.0.0b6 pre-release 2025-01-17    
2.0.0b5 pre-release 2025-01-03    
2.0.0b4 pre-release 2024-12-13    
2.0.0b3 pre-release 2024-12-06    
2.0.0b2 pre-release 2024-12-06    
2.0.0b1 pre-release 2024-12-04    
1.0.4 2023-09-01  
1.0.3 2023-08-29  
1.0.2 2023-08-28  
1.0.1 2023-08-14  
1.0.0 2023-07-31  
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 2025-06-30 11:08:45 UTC