Sollya est un programme informatique conçu pour offrir un environnement dédié au développement de code en virgule flottante en toute sécurité, avec un accent particulier sur l'implémentation automatique de bibliothèques mathématiques en virgule flottante (libm). Il propose des fonctionnalités telles qu'une norme infinie certifiée, un automate de Polynomes rapide et un algorithme de Remez.