pub unsafe extern "C" fn SCIPprintSolReaderFzn( scip: *mut SCIP, sol: *mut SCIP_SOL, file: *mut FILE, ) -> SCIP_RETCODE
print given solution in Flatzinc format w.r.t. the output annotation