README.md
pyproject.toml
setup.py
docs/README.md
src/imandra/__init__.py
src/imandra/auth.py
src/imandra/core.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/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/u/agents/cogito.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/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