Google's Boolean Optimization Programming solver (BOP) for binary programs, a specific form of integer programming (MIP).