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.*
andimandra.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.