Imandra Python API client library

 Available on PyPi!

Check out the library on PyPi for more in depth information about how to interact with Imandra via our Python library.

Overview

We provide the imandra Python library for interacting with Imandra's web APIs. The library includes:

  • imandra.core, which provides programmatic access to Imandra X, Imandra's core reasoning engine.
  • imandra.u.agents.* and imandra.u.reasoners.*, bindings to Imandra Universe Agents and Reasoners.
  • imandra.ipl, tools for analysing Imandra Protocol Language (IPL) files.

For usage and examples, see the Imandra project page on PyPI.

API reference documentation is available here.