Running MiniBrass models
The MiniBrass workflow consists of two steps:
- Compiling a MiniBrass preference model to MiniZinc (
- Executing the MiniZinc constraint model which includes the compiled output from step 1
The latter step can either be done using
minisearch or via the toolchain of
Blue refers to artifacts provided by the user. Orange denotes generated or library artifcats.