MINION VARIABLES CONSTRAINTS TUPLELIST SEARCH EOF BOOL BOUND DISCRETE SPARSEBOUND ALIAS ALL NONE PRINT VARORDER VALORDER MAXIMISING MINIMISING MAX MIN alldiff difference diseq div element element_one eq gacalldiff gcc hamming ineq lexleq lexless litsumgeq max min minuseq modulo occurrence occurrenceleq occurrencegeq pow product reify reifyimply sumgeq sumleq table watchelement watchelement_one watchsumgeq watchsumleq watchvecexists_and watchvecexists_less watchvecneq weightedsumgeq weightedsumleq