add_fairness [-h] | fair-expression
Adds a new fairness constraint to the existing
list of fairness constraints. fair-expression is evaluated and
added to the current list of fairness constraints. This command has
the same effect of a FAIRNESS statement in the original
input file. Before executing this command you have to execute the
dump_model
command.