Chiara Nardoni

Dear developers, thank you for the development of such an amazing tool. I would like to know if it is possible to use MIPVerify with a model represented in Open...