mcp-solver-mzn_clear_model
Remove all items from the minizinc model, effectively resetting it.
Try it
mcp-solver-mzn_add_item
Add new minizinc item to the model at a specific index (indices start at 0). Required parameters: 'index' and 'content'.
Try it
mcp-solver-mzn_replace_item
Replace an existing item in the minizinc model at a specified index with new content. Required parameters: 'index' and 'content'.
Try it
mcp-solver-mzn_delete_item
Delete an item from the minizinc model at the specified index. Required parameter: 'index'.
Try it
mcp-solver-mzn_get_model
Fetch the current content of the minizinc model, listing each item with its index.
Try it
mcp-solver-mzn_solve_model
Solve the current minizinc model with a timeout parameter. Required parameter: 'timeout'.
Try it
mcp-solver-pysat_clear_model
Remove all items from the PySAT Python model, effectively resetting it.
Try it
mcp-solver-pysat_add_item
Add new Python code to the PySAT model at a specific index (indices start at 0). Required parameters: 'index' and 'content'.
Try it
mcp-solver-pysat_replace_item
Replace an existing item in the PySAT Python model at a specified index with new content. Required parameters: 'index' and 'content'.
Try it
mcp-solver-pysat_delete_item
Delete an item from the PySAT Python model at the specified index. Required parameter: 'index'.
Try it
mcp-solver-pysat_get_model
Fetch the current content of the PySAT Python model, listing each item with its index.
Try it
mcp-solver-pysat_solve_model
Solve the current PySAT Python model with a timeout parameter. Required parameter: 'timeout'.
Try it
mcp-solver-maxsat_clear_model
Remove all items from the MaxSAT optimization model, effectively resetting it.
Try it
mcp-solver-maxsat_add_item
Add new Python code to the MaxSAT optimization model at a specific index (indices start at 0). Required parameters: 'index' and 'content'.
Try it
mcp-solver-maxsat_replace_item
Replace an existing item in the MaxSAT optimization model at a specified index with new content. Required parameters: 'index' and 'content'.
Try it
mcp-solver-maxsat_delete_item
Delete an item from the MaxSAT optimization model at the specified index. Required parameter: 'index'.
Try it
mcp-solver-maxsat_get_model
Fetch the current content of the MaxSAT optimization model, listing each item with its index.
Try it
mcp-solver-maxsat_solve_model
Solve the current MaxSAT optimization model with a timeout parameter. Required parameter: 'timeout'.
Try it
mcp-solver-z3_clear_model
Remove all items from the Z3 Python model, effectively resetting it.
Try it
mcp-solver-z3_add_item
Add new Python code to the Z3 model at a specific index (indices start at 0). Required parameters: 'index' and 'content'.
Try it
mcp-solver-z3_replace_item
Replace an existing item in the Z3 Python model at a specified index with new content. Required parameters: 'index' and 'content'.
Try it
mcp-solver-z3_delete_item
Delete an item from the Z3 Python model at the specified index. Required parameter: 'index'.
Try it
mcp-solver-z3_get_model
Fetch the current content of the Z3 Python model, listing each item with its index.
Try it
mcp-solver-z3_solve_model
Solve the current Z3 Python model with a timeout parameter. Required parameter: 'timeout'.
Try it
