minizinc with google ortools

51 views

Skip to first unread message

Alessio Pellegrino

unread,

Aug 9, 2023, 7:29:03 PM8/9/23

to MiniZinc

Hello everyone,

I need to develop a Cp model for a university project. I was trying to configure minizinc to work with Google ortools but I can't make it work. I've tried several options (from following an online guide/script to compiling myself) but the solver always give the same error:

minizinc --solver or-tools ./models/Cp_model.mzn F0729 22:14:13.038090 28279 cp_model_fz_solver.cc:466] Wrong format *** Check failure stack trace: *** =====ERROR=====

I'm currently running arch Linux but I've also tried on Ubuntu with the same results.