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 weekly (06/25/2017): tar.gz or tar.bz2 or .zip.
Just to check that you are a real human

License

The Sollya tool and the material of this website is Copyright © 2006-2016 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 - É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,
CNRS, LIP6, UPMC - Sorbonne Universités, UPMC Univ Paris 06 - CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris,
and by INRIA Sophia-Antipolis Méditerranée, APICS Team, 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 http://www.cecill.info/ 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.