python-solver-before-std.patch 3.5 KB