SAT manager: provided support for preparing SAT instances and for freezing variables.