[MINIZINC] qualcuno l'ha mai usato?

[jojo_punky89]

Salve a tutti,
come da titolo cerco qualcosa su minizinc. Vorrei fare un progetto riguardo i problemi di soddisfacimento di vincoli (sudoku, cruciverba numerici) e il mio prof. mi ha detto di farlo con minizinc. Non riesco neanche ad installarlo (su windows), il terminale funziona ma non so come collegare un editor di testo al suo compilatore, e non c'è un ide, avevo provato a scaricare g12 ma non funziona niente. Qualcuno mi può dare una mano, non trovo niente su internet, sapete come si fa a installarlo o avete una guida a proposito?
vi ringrazio.
gioia

[alka]

In assenza di un problema specifico, non c'è una risposta che è possibile darti.

Se hai bisogno di risorse in merito a questo linguaggio, ti basta fare una ricerca su Google: è ben difficile che ciò che non trovi lì possa essere fornito da altri.

Detto questo, se hai altre difficoltà generiche, puoi sempre discuterne con il professore che ti ha suggerito di utilizzarlo.