[console_scripts]
aria-allsmt = aria.cli.allsmt_cli:main
aria-efmc = aria.cli.efmc_cli:main
aria-efmc-efsmt = aria.cli.efmc_efsmt_cli:main
aria-efsmt = aria.cli.efsmt_cli:main
aria-fmldoc = aria.cli.fmldoc_cli:main
aria-maxsat = aria.cli.maxsat_cli:main
aria-mc = aria.cli.mc_cli:main
aria-polyhorn = aria.cli.polyhorn_cli:main
aria-pyomt = aria.cli.pyomt_cli:main
aria-pypmt = aria.cli.pypmt_cli:main
aria-smt-server = aria.cli.smt_server_cli:main
aria-unsat-core = aria.cli.unsat_core_cli:main
