All modules for which code is available

• efmc.frontends
• efmc.frontends.boogie2efmc
• efmc.frontends.c2efmc
• efmc.frontends.chc_parser
• efmc.frontends.mini_sygus_parser
• efmc.llmtools.llm_local
• efmc.llmtools.llm_tool
• efmc.llmtools.llm_utils
• efmc.llmtools.logger
• efmc.smttools.mapped_blast
• efmc.smttools.pysmt_solver
• efmc.smttools.smt_exceptions
• efmc.smttools.smtlib_solver
• efmc.smttools.sygus_solver
• efmc.verifytools.boogie.ast
• efmc.verifytools.common.ast
• efmc.verifytools.common.parser
• efmc.verifytools.common.util
• efmc.verifytools.daikon.inv_ast
• efmc.verifytools.daikon.inv_grammar
• efmc.verifytools.tools.vc_check