Release notes packup-0.6
------------------------
The framework now enables invoking a weighted partial MaxSAT solver.  The
solver is invoked only once as the interative approach is not easily
implementable because we have no way of expressing the constraint from previous
iterations. This regime is invoked by the option --max-sat.