first version of MIP solver and validator