A developer has released MiniZinc MCP, an open-source tool that connects AI agents to the MiniZinc constraint modeling language so they can model and solve combinatorial and optimization problems such…
A developer released minizinc-mcp, an MCP server that exposes MiniZinc constraint solving and optimization to LLM clients including opencode, Claude Desktop, and Cursor, letting agents parse, type-che…
Researchers at arXiv (2608.17170v1) introduced an automated approach using Large Language Models (LLMs) in an agentic check-fix-verify loop to synthesize executable Python feature extractors for const…
The article describes how the author used the MiniZinc constraint solver to solve the New York Times' daily Pips puzzle, where dominoes must be placed on a grid to satisfy specific conditions like sum…