[console_scripts]
acs = conjecture_solver.cli:main
conjecture-solver = conjecture_solver.cli:main
simjecture = conjecture_solver.cli:main
