Help on minion

You are viewing documentation for minion. The same documentation is available from a minion executable by typing minion help at the command line. We intend that the command line help system be the main source of documentation for the system.

Each of the entries below concerns a different aspect of the system, and the entries are arranged hierarchically. For example to view information about the set of available constraints as a whole view "constraints" and to view specific information about the alldiff constraint view "constraints alldiff".

A good place to start would be viewing the "input example" entry which exhibits a complete example of a minion input file.

Usage: minion [switches] [minion input file]

constraints
constraints abs
constraints alldiff
constraints difference
constraints diseq
constraints div
constraints div_undefzero
constraints element
constraints element_one
constraints eq
constraints gacalldiff
constraints gacschema
constraints gcc
constraints gccweak
constraints haggisgac
constraints haggisgac-stable
constraints hamming
constraints ineq
constraints lexleq
constraints lexleq[rv]
constraints lexless
constraints lighttable
constraints litsumgeq
constraints max
constraints mddc
constraints min
constraints minuseq
constraints modulo
constraints mod_undefzero
constraints negativemddc
constraints negativetable
constraints occurrence
constraints occurrencegeq
constraints occurrenceleq
constraints pow
constraints product
constraints reification
constraints reify
constraints reifyimply
constraints shortstr2
constraints str2plus
constraints sumgeq
constraints sumleq
constraints table
constraints watched-and
constraints watched-or
constraints watchelement
constraints watchelement_one
constraints watchelement_undefzero
constraints watchless
constraints watchsumgeq
constraints watchsumleq
constraints watchvecneq
constraints weightedsumgeq
constraints weightedsumleq
constraints w-inintervalset
constraints w-inrange
constraints w-inset
constraints w-literal
constraints w-notinrange
constraints w-notinset
constraints w-notliteral
input
input constraints
input example
input search
input shorttuplelist
input tuplelist
input variables
switches
switches -check
switches -cpulimit
switches -dumptree
switches -findallsols
switches -fullprop
switches -makeresume
switches -map-long-short
switches -nocheck
switches -nodelimit
switches -noprintsols
switches -noresume
switches -outputCompressed
switches -outputCompressedDomains
switches -preprocess
switches -printonlyoptimal
switches -printsols
switches -printsolsonly
switches -prop-node
switches -quiet
switches -randomiseorder
switches -randomseed
switches -redump
switches -sollimit
switches -solsout
switches -split
switches -tableout
switches -timelimit
switches -varorder
switches -verbose
variables
variables 01
variables alias
variables bounds
variables constants
variables discrete
variables sparsebounds
variables vectors

Home