if (res instanceof SatResult) {
SatResult sat = (SatResult) res;
result = sat.isSat();
}
if (res instanceof AssignResult) {
AssignResult assr = (AssignResult) res;
for (Assign assign : assr.getAssigns()) {
assignment.put(assign.getVar(), assign.getValue());
}
}
}
return result;