imandra-http-api-client

import time
import imandra_http_api_client
from imandra_http_api_client.rest import ApiException
from pprint import pprint

# Defining the host is optional and defaults to http://localhost:3000
# See configuration.py for a list of all supported configuration parameters.
configuration = imandra_http_api_client.Configuration(
    host = "http://localhost:3000"
)

# The client must configure the authentication and authorization parameters
# in accordance with the API server security policy.
# Examples for each auth method are provided below, use the example that
# satisfies your auth use case.

# Configure Bearer authorization: bearerAuth
configuration = imandra_http_api_client.Configuration(
    access_token = os.environ["BEARER_TOKEN"]
)


# Enter a context with an instance of the API client
with imandra_http_api_client.ApiClient(configuration) as api_client:
    # Create an instance of the API class
    api_instance = imandra_http_api_client.DefaultApi(api_client)
    eval_request_src = imandra_http_api_client.EvalRequestSrc(src="let f x = x + 1") 

    try:
        # Evaluate a string of source code
        api_response = api_instance.eval(eval_request_src)
        print("The response of DefaultApi->eval:\n")
        pprint(api_response)
    except ApiException as e:
        print("Exception when calling DefaultApi->eval: %s\n" % e)