README.md
pyproject.toml
setup.py
docs/README.md
src/imandra/__init__.py
src/imandra/auth.py
src/imandra/ipl.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/__pycache__/__init__.cpython-313.pyc
src/imandra/__pycache__/auth.cpython-313.pyc
src/imandra/__pycache__/core.cpython-313.pyc
src/imandra/api/__init__.py
src/imandra/api/auth.py
src/imandra/api/cfb.py
src/imandra/api/instance.py
src/imandra/api/ipl.py
src/imandra/api/ipl_common.py
src/imandra/api/rule_synth.py
src/imandra/cli/__init__.py
src/imandra/cli/ipl_log_analysis.py
src/imandra/core/__init__.py
src/imandra/u/agents/__init__.py
src/imandra/u/agents/__pycache__/__init__.cpython-313.pyc
src/imandra/u/agents/__pycache__/code_logician.cpython-313.pyc
src/imandra/u/agents/__pycache__/code_logician_formalizer.cpython-313.pyc
src/imandra/u/agents/__pycache__/code_logician_reasoner.cpython-313.pyc
src/imandra/u/agents/__pycache__/cogito.cpython-313.pyc
src/imandra/u/agents/code_logician/__init__.py
src/imandra/u/agents/code_logician/command.py
src/imandra/u/agents/code_logician/interrupt_message.py
src/imandra/u/agents/code_logician/rich_utils.py
src/imandra/u/agents/code_logician/task.py
src/imandra/u/agents/code_logician/__pycache__/__init__.cpython-312.pyc
src/imandra/u/agents/code_logician/__pycache__/__init__.cpython-313.pyc
src/imandra/u/agents/code_logician/__pycache__/command.cpython-312.pyc
src/imandra/u/agents/code_logician/__pycache__/command.cpython-313.pyc
src/imandra/u/agents/code_logician/__pycache__/command_schema.cpython-312.pyc
src/imandra/u/agents/code_logician/__pycache__/graph.cpython-312.pyc
src/imandra/u/agents/code_logician/__pycache__/graph.cpython-313.pyc
src/imandra/u/agents/code_logician/__pycache__/graph_state_schema.cpython-312.pyc
src/imandra/u/agents/code_logician/base/__init__.py
src/imandra/u/agents/code_logician/base/context.py
src/imandra/u/agents/code_logician/base/dependency.py
src/imandra/u/agents/code_logician/base/formalization_state.py
src/imandra/u/agents/code_logician/base/imandrax.py
src/imandra/u/agents/code_logician/base/iml.py
src/imandra/u/agents/code_logician/base/region_decomp.py
src/imandra/u/agents/code_logician/base/vg.py
src/imandra/u/agents/code_logician/graph/__init__.py
src/imandra/u/agents/code_logician/graph/graph_state.py
src/imandra/u/agents/spec_logician/__init__.py
src/imandra/u/agents/spec_logician/graph.py
src/imandra/u/reasoners/__init__.py
src/imandra/u/reasoners/acl2.py
src/imandra/u/reasoners/clingo.py
src/imandra/u/reasoners/core.py
src/imandra/u/reasoners/cvc5.py
src/imandra/u/reasoners/eprover.py
src/imandra/u/reasoners/mace4.py
src/imandra/u/reasoners/metitarski.py
src/imandra/u/reasoners/nqthm.py
src/imandra/u/reasoners/otter.py
src/imandra/u/reasoners/prover9.py
src/imandra/u/reasoners/qepcad.py
src/imandra/u/reasoners/z3.py
src/imandra/u/reasoners/zipperposition.py
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/__pycache__/__init__.cpython-313.pyc
src/imandra_http_api_client/api/__init__.py
src/imandra_http_api_client/api/default_api.py
src/imandra_http_api_client/api/__pycache__/__init__.cpython-313.pyc
src/imandra_http_api_client/api/__pycache__/default_api.cpython-313.pyc
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/models/__pycache__/__init__.cpython-313.pyc
src/imandra_http_api_client/models/__pycache__/decompose_region.cpython-313.pyc
src/imandra_http_api_client/models/__pycache__/decompose_request_src.cpython-313.pyc
src/imandra_http_api_client/models/__pycache__/decompose_result.cpython-313.pyc
src/imandra_http_api_client/models/__pycache__/eval_request_src.cpython-313.pyc
src/imandra_http_api_client/models/__pycache__/syntax.cpython-313.pyc
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