MiniZinc is a very popular tool for solving constraint satisfaction problems, however ChatGPT has problems creating MiniZinc models without syntax errors. Even when given the errors from MiniZinc compile, ChatGPT still creates similar errors after several attempts. While ChatGPT is great at understanding the problem and creating most of the MiniZinc code correctly, without getting clean working MiniZinc models, the combination of using MiniZinc with ChatGPT is a no starter.
In 2023, I uploaded a short paper with an LLM agent and MiniZinc related to this topic.
Towards an Automatic Optimisation Model Generator Assisted with Generative Pre-trained Transformer https://arxiv.org/abs/2305.05811
1 Like