Return results as mapping var->value
Fix a few issues in the interfacing between cnf and  sat4j