GF2 presolve which is used to reduce enlight_hard does not work on ARM machines.
GF2 presolve which is used to reduce enlight_hard does not work on ARM machines.