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

Dependencies

PyPI page
pypi.org/project/imandra
Project JSON
piwheels.org/project/imandra/json
Versions
39
Files
39
Downloads (all time)
loading...
Downloads (last 30 days)
loading...

Releases

Version Released Bullseye
Python 3.9		 Bookworm
Python 3.11		 Trixie
Python 3.13		 Files
2.0.20 2025-09-08      
2.0.19 2025-09-05      
2.0.18 2025-09-04      
2.0.17 2025-09-02      
2.0.16 2025-09-02      
2.0.15 2025-08-06      
2.0.14 2025-08-05      
2.0.13 2025-08-05      
2.0.12 2025-08-04      
2.0.11 2025-08-04      
2.0.10 2025-07-21      
2.0.9 2025-07-21      
2.0.8 2025-07-21      
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?

Key

Build succeeded
Build failed
Build skipped
Build pending

Page last updated 2025-09-12 11:14:48 UTC