List<Result> parsed = (List<Result>) parser.parse().value;
boolean result = false;
for (Result res : parsed) {
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());