Workflow

Running MiniBrass models

The MiniBrass workflow consists of two steps:

1. Compiling a MiniBrass preference model to MiniZinc (mbr2mzn)
2. Executing the MiniZinc constraint model which includes the compiled output from step 1

The latter step can either be done using minizinc/minisearch or via the toolchain of mzn2fzn, fzn-solver, and solns2out.

Blue refers to artifacts provided by the user. Orange denotes generated or library artifcats.