[console_scripts]
mcp-solver = mcp_solver.core.__main__:main
mcp-solver-mzn = mcp_solver.core.__main__:main_mzn
mcp-solver-pysat = mcp_solver.core.__main__:main_pysat
mcp-solver-z3 = mcp_solver.core.__main__:main_z3
run-test = tests.run_test:main
test-client = mcp_solver.client.client:main_cli
test-setup-client = mcp_solver.client.test_setup:main
test-setup-mzn = mcp_solver.mzn.test_setup:main
test-setup-pysat = mcp_solver.pysat.test_setup:main
test-setup-z3 = mcp_solver.z3.test_setup:main
