Thank you for your interest in Sollya.

Sollya is free software. You can download it by clicking on one of the links below, but before you do so, we would greately appreciate that you tell us a bit about you.
Please notice that filling the form is not required to download Sollya. The purpose is just to help us to better know our users. All fields are optional.
Download Sollya 6.0: tar.gz or tar.bz2 or .zip.

Just to check that you are a real human


The Sollya tool and the material of this website is Copyright © 2006-2018 by
Laboratoire de l'Informatique du Parallélisme - UMR CNRS - ENS Lyon - UCB Lyon 1 - INRIA 5668 - Lyon, France,
LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2), Nancy, France,
Laboratoire d'Informatique de Paris 6, equipe PEQUAN, - UPMC Universite Paris 06 - CNRS - UMR 7606 - LIP6, Paris, France,
Laboratoire d'Informatique de Paris 6 - Équipe PEQUAN - Sorbonne Universités - UPMC Univ Paris 06 - UMR 7606, LIP6 - Boîte Courrier 169 - 4, place Jussieu - F-75252 Paris Cedex 05 - France,
Sorbonne Université - CNRS, Laboratoire d'Informatique de Paris 6, LIP6 - F - 75005 Paris - France,
CNRS, LIP6, UPMC - Sorbonne Universités, UPMC Univ Paris 06 - CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris
and by
Centre de recherche INRIA Sophia Antipolis Méditerranée, - Équipes APICS, FACTAS, - Sophia Antipolis, France.
All rights reserved. The Sollya tool is open software. It is distributed and can be used, modified and redistributed under the terms of the CeCILL-C license available at and reproduced in the COPYING file of the distribution. This software, the Sollya tool, is distributed WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.