What is the newest MIP or CP solver (which is model based exact solver)?
I want to follow and wonder developments on solvers. But finding new developed solvers (experimental, academic, commercial etc.) with search is not enough, and sometimes can be missed. Answers to this question can be guiding.