gentoo.mahdi.cz

  

sci-mathematics:gappa


Tool for verifying floating-point or fixed-point arithmetic

gappa-1.4.2CeCILL-2 GPL-3+
download~amd64 ~x86gentoo
gappa-1.4.1CeCILL-2 GPL-3+
download~amd64 ~x86gentoo
gappa-0.12.1CeCILL GPL-2
download~amd64 ~ppc ~sparc ~x86bgo