README.md
pyproject.toml
setup.py
docs/README.md
src/imandra/__init__.py
src/imandra/auth.py
src/imandra/cfb.py
src/imandra/core.py
src/imandra/instance.py
src/imandra/ipl.py
src/imandra/rule_synth.py
src/imandra/session.py
src/imandra.egg-info/PKG-INFO
src/imandra.egg-info/SOURCES.txt
src/imandra.egg-info/dependency_links.txt
src/imandra.egg-info/entry_points.txt
src/imandra.egg-info/requires.txt
src/imandra.egg-info/top_level.txt
src/imandra_http_api_client/__init__.py
src/imandra_http_api_client/api_client.py
src/imandra_http_api_client/api_response.py
src/imandra_http_api_client/configuration.py
src/imandra_http_api_client/exceptions.py
src/imandra_http_api_client/rest.py
src/imandra_http_api_client/api/__init__.py
src/imandra_http_api_client/api/default_api.py
src/imandra_http_api_client/models/__init__.py
src/imandra_http_api_client/models/decompose_region.py
src/imandra_http_api_client/models/decompose_request_src.py
src/imandra_http_api_client/models/decompose_result.py
src/imandra_http_api_client/models/eval_request_src.py
src/imandra_http_api_client/models/eval_response.py
src/imandra_http_api_client/models/hints.py
src/imandra_http_api_client/models/induct_functional_body.py
src/imandra_http_api_client/models/induct_structural_body.py
src/imandra_http_api_client/models/induct_structural_style.py
src/imandra_http_api_client/models/induct_type.py
src/imandra_http_api_client/models/instance_request_name.py
src/imandra_http_api_client/models/instance_request_src.py
src/imandra_http_api_client/models/instance_response.py
src/imandra_http_api_client/models/instance_result.py
src/imandra_http_api_client/models/instance_type.py
src/imandra_http_api_client/models/method.py
src/imandra_http_api_client/models/method_body.py
src/imandra_http_api_client/models/method_ext_solver_body.py
src/imandra_http_api_client/models/method_induct_body.py
src/imandra_http_api_client/models/method_induct_body_body.py
src/imandra_http_api_client/models/method_type.py
src/imandra_http_api_client/models/method_unroll_body.py
src/imandra_http_api_client/models/printer_details.py
src/imandra_http_api_client/models/response_error.py
src/imandra_http_api_client/models/response_instance.py
src/imandra_http_api_client/models/response_model.py
src/imandra_http_api_client/models/syntax.py
src/imandra_http_api_client/models/up_to_body.py
src/imandra_http_api_client/models/verify_request_name.py
src/imandra_http_api_client/models/verify_request_src.py
src/imandra_http_api_client/models/verify_response.py
src/imandra_http_api_client/models/verify_response_body.py
src/imandra_http_api_client/models/verify_result.py
src/imandra_http_api_client/models/with_instance_body.py
src/imandra_http_api_client/models/with_unknown_reason_body.py
src/imandra_http_api_client/test/__init__.py
src/imandra_http_api_client/test/test_decompose_region.py
src/imandra_http_api_client/test/test_decompose_request_src.py
src/imandra_http_api_client/test/test_decompose_result.py
src/imandra_http_api_client/test/test_default_api.py
src/imandra_http_api_client/test/test_eval_request_src.py
src/imandra_http_api_client/test/test_eval_response.py
src/imandra_http_api_client/test/test_hints.py
src/imandra_http_api_client/test/test_induct_functional_body.py
src/imandra_http_api_client/test/test_induct_structural_body.py
src/imandra_http_api_client/test/test_induct_structural_style.py
src/imandra_http_api_client/test/test_induct_type.py
src/imandra_http_api_client/test/test_instance_request_name.py
src/imandra_http_api_client/test/test_instance_request_src.py
src/imandra_http_api_client/test/test_instance_response.py
src/imandra_http_api_client/test/test_instance_result.py
src/imandra_http_api_client/test/test_instance_type.py
src/imandra_http_api_client/test/test_method.py
src/imandra_http_api_client/test/test_method_body.py
src/imandra_http_api_client/test/test_method_ext_solver_body.py
src/imandra_http_api_client/test/test_method_induct_body.py
src/imandra_http_api_client/test/test_method_induct_body_body.py
src/imandra_http_api_client/test/test_method_type.py
src/imandra_http_api_client/test/test_method_unroll_body.py
src/imandra_http_api_client/test/test_printer_details.py
src/imandra_http_api_client/test/test_response_error.py
src/imandra_http_api_client/test/test_response_instance.py
src/imandra_http_api_client/test/test_response_model.py
src/imandra_http_api_client/test/test_syntax.py
src/imandra_http_api_client/test/test_up_to_body.py
src/imandra_http_api_client/test/test_verify_request_name.py
src/imandra_http_api_client/test/test_verify_request_src.py
src/imandra_http_api_client/test/test_verify_response.py
src/imandra_http_api_client/test/test_verify_response_body.py
src/imandra_http_api_client/test/test_verify_result.py
src/imandra_http_api_client/test/test_with_instance_body.py
src/imandra_http_api_client/test/test_with_unknown_reason_body.py
tests/test_imandra_http_api.py