Fix BILPProblem API.