0001-Do-not-require-bundler-and-remove-spork.patch
0003-Temporary-disable-test-which-depend-on-gecode.patch
0003-Disable-gecode-solver.patch
