gentoo.mahdi.cz

  

sci-mathematics:smtinterpol


Interpolating SMT-solver computing Craig interpolants for various theories

smtinterpol-2.5_p20211018LGPL-3
downloadamd64 ~x86gentoo