Minizinc and google-or-tools engine

[guido...@gmail.com]

Original post by user toketin (24/MAR/2015)

Hi, may i use the google or-tools engine under Mininz IDE to solve a contraint problem written using minizinc syntax?

Thanks,
Marco
-----------------------------------------------------
This post was transfered to the google group when the phpbb based forum was shut down
-----------------------------------------------------

[guido...@gmail.com]

Original post by user guido.tack (24/MAR/2015)

Hi,
sure, that should work. You should be able to follow the instructions in the Help menu and just use the correct paths for or-tools instead of Gecode.

Cheers,
Guido

[guido...@gmail.com]

Original post by user jtrujillo (24/MAR/2015)

Hi,

Could somebody explain where to find all the need files and how to install OR-tools as a Minizinc solver using MiniZincIDE? I am using MAC OS X Yosemite.

Thank you,
Javier.

[Manuel Zanutelli Cosio]

Hi, I would also like to know how to install OR-tools and use it with Minizinc.

[Manuel Zanutelli Cosio]

I'm trying to use or-tools but I'm getting an error:




This is my configuration:




What should I do?

Thanks

[Gleb Belov]

Hi,

I think the lib folder has system libraries while the MZN library is somewhere else, usually called mznlib

Best,

Gleb

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/dfb1e48d-5706-4766-8921-99b6cf41c1d5%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Manuel Zanutelli Cosio]

Thanks, this is my directory structure. Do you see where should I point to?

C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\bin
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\bin\fzn-or-tools.exe
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\examples
... a lot of examples
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\lib
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\lib\fz.lib
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\lib\ortools.lib
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\LICENSE-2.0.txt
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\all_different_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\alldifferent_except_0.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\among.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\arg_max_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\arg_min_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\at_most_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\circuit.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\count.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\count_eq.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\count_geq.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\count_gt.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\count_leq.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\count_lt.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\count_neq.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\count_reif.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\cumulative.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\diffn.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\diffn_k.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\diffn_nonstrict.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\diffn_nonstrict_k.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\disjunctive.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\disjunctive_opt.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\disjunctive_strict.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\global_cardinality.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\global_cardinality_closed.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\global_cardinality_low_up.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\global_cardinality_low_up_closed.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\int_mod.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\inverse.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\lex_less_bool.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\lex_less_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\lex_lesseq_bool.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\lex_lesseq_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\maximum.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\maximum_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\minimum.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\minimum_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\nvalue.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\redefinitions-2.0.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\regular.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\regular_nfa.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\sequence.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\sliding_sum.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\sort.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\subcircuit.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\symmetric_all_different.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\table.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\table_bool.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_cp\table_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\all_different_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\BUILD
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\circuit.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\cumulative.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\diffn.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\diffn_nonstrict.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\inverse.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\maximum.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\maximum_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\minimum.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\minimum_int.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\network_flow.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\redefinitions-2.0.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\regular.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\subcircuit.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\table.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\table_bool.mzn
C:\Users\Usuario\Downloads\or-tools_flatzinc_VisualStudio2015-64bit_v6.3.4431\share\minizinc_sat\table_int.mzn

El jueves, 20 de octubre de 2016, 23:40:12 (UTC-5), Guido Tack escribió:

[Gleb Belov]

Hi,

I've used share\minizinc_cp.

Best,

Gleb

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+unsubscribe@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/f5813ae5-8e8e-430c-9637-78fdad1503c2%40googlegroups.com.

[Manuel Zanutelli Cosio]

Thanks, but no luck at all.

El jueves, 20 de octubre de 2016, 23:40:12 (UTC-5), Guido Tack escribió:

[Gleb Belov]

It's an fzn solver, so should be run with mzn2fzn and solns2out, I am sure the box should be checked. If still fails, send me the output (from the bottom panel)

Best,

Gleb

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+unsubscribe@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/14a339ac-f61f-4fde-8407-edf8480618ea%40googlegroups.com.

[Manuel Zanutelli Cosio]

Thanks, this is the output:


Or-tools preferences:


The configuration:

El jueves, 20 de octubre de 2016, 23:40:12 (UTC-5), Guido Tack escribió:

[Gleb Belov]

This looks like an error in fzn-or-tools. Make sure it does work on small&simple instances (so that your config is ok), if it does then submit a report to them

Best

--
You received this message because you are subscribed to the Google Groups "MiniZinc" group.
To unsubscribe from this group and stop receiving emails from it, send an email to minizinc+unsubscribe@googlegroups.com.

To view this discussion on the web visit https://groups.google.com/d/msgid/minizinc/6b0f2272-be09-4494-90f9-da4c6d91c7f4%40googlegroups.com.