Fix definitions: MILP to BILP. Add comments.
Fix definitions: MILP to BILP. Add comments.
Add tests to dummy solver.