[minizinc] un linguaggio sconosciuto

[jojo_punky89]

Salve a tutti,
qualcuno ha mai usato minizinc? Devo usarlo per un progetto e non riesco nè a installarlo correttamente nè a far funzionare niente. Avete esperienza in merito?
Vi ringrazio molto,
gioia

[Solido]

anche io lo devo usare per un problema cps ...devo fare un cruciverba numerico che soddisfi delle regole impostate! On line si trova un solo tutorial che secondo me non è nemmeno il massimo:muro: