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
58
Files
43
Downloads (all time)
loading...
Downloads (last 30 days)
loading...

Releases

Version Released Bookworm
Python 3.11		 Trixie
Python 3.13		 Files
2.9.0 2026-09-09    
2.8.0 2026-06-12    
2.7.0 2026-03-25    
2.6.0 2026-03-19    
2.5.0 2026-03-09    
2.4.1 2026-01-26    
2.4.0 2026-01-12    
2.3.1 2026-01-07    
2.3.0 2025-11-25    
2.2.0 2025-11-18    
2.1.6 2025-11-13    
2.1.5 2025-10-30    
2.1.4 2025-10-24    
2.1.3 2025-10-23    
2.1.2 2025-10-22    
2.1.1 2025-09-30    
2.1.0 2025-09-30    
2.0.23 2025-09-22    
2.0.22 2025-09-18    
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
Build succeeded; file since deleted

Page last updated 2026-09-09 18:33:07 UTC