https://eig-eg.org/product/cipsolve/