void addModelToSolution(const std::shared_ptr<Model>& model, const Remapper& remapper, ModelManager& solution, Printer& printer) {
auto outmodel = new Model();
outmodel->literalinterpretations = getBackMappedModel(model->literalinterpretations, remapper);
outmodel->variableassignments = getBackMappedModel(model->variableassignments, remapper);
solution.addModel(outmodel);
printer.addModel(outmodel);
}
void addModelToSolution(const std::shared_ptr<Model>& model, const Remapper& remapper, ModelManager& solution, Printer& printer) {
auto outmodel = createModel(model, remapper);
solution.addModel(outmodel);
printer.addModel(outmodel);
}