public static <T> SatResult<T> valueOf(
Type result,
Expression phi,
Iterable<? extends BooleanExpression> assumptions,
String reason) {
Preconditions.checkArgument(!Type.UNSAT.equals(result));
return new SatResult<T>(result, phi, assumptions, reason);
}
public boolean isUnsatisfiable() {
return Type.UNSAT.equals(getType());
}