flush output in print model

Author: rkaminsk

lib/c-api/src/main.cc

@@ -210,7 +210,9 @@ class ClingoApp : public Clasp::Cli::ClaspAppBase {
                 auto prt = [&]() { out.printModelValues(ctx, mdl); };
                 // NOTE: the function can only be called while the solve handle is alive
                 auto guard = CppClingo::Control::unlock_guard{ctl_->slv->get_lock()};
+                std::cout.flush();
                 app_.print_model(ctl_->slv->map_model(mdl), prt);
+                std::cout.flush();
             });
         return output;
     }

lib/python-api/src/app.cc

@@ -139,6 +139,7 @@ class App : public reference_keeper<App> {
         auto &app = *static_cast<App *>(data);
         CLINGO_TRY {
             app.print_model(Model{model}, [printer, printer_data]() { handle_error(printer(printer_data)); });
+            py::module_::import("sys").attr("stdout").attr("flush")();
         }
         CLINGO_CATCH;
     }