Bugfix in getting final explanation (due to sloppy implementation of pcsolver::getexplanation, still to be resolved).
Updated flatzinc options to intended semantics.
Release 3.9.1