Fix #773: Add bf_vs_ilp tests for all ILP reduction rules#778

GiggleLiu merged 5 commits intomainCodingThrust/problem-reductions:mainfrom

add-bf-vs-ilp-testsCodingThrust/problem-reductions:add-bf-vs-ilp-testsCopy head branch name to clipboard