sci-mathematics/yices2-2.6.4-r1:mcsat
