0001-Do-not-require-bundler.patch
0002-Do-not-run-tests-for-Gecode-solver.patch
0003-Change-Version-to-Semverse-Version.patch
