Renaming to MIP-Solver
The name NaivMIP had a typo (#36 (closed) ) and was chosen because I planned to implement another MIP model which did not work out in the end. However is think "MIP-Solver" is the better sounding name, aligns with "CP-Solver".
The name NaivMIP had a typo (#36 (closed) ) and was chosen because I planned to implement another MIP model which did not work out in the end. However is think "MIP-Solver" is the better sounding name, aligns with "CP-Solver".