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 (2024-06-10): tar.gz or tar.bz2 or .zip.
After downloading the file, you can check that the corresponding GnuPG signature matches the contents of the file. The key used to sign Sollya files is:
Key ID: 0x230AA090
Key type: 2048 bit RSA
Fingerprint: 4960 B71C B83F E789 E164 053E 527C 8365 230A A090

GnuPG signatures: for the tar.gz file, for the tar.bz2 file and for the zip file.

Just to check that you are a real human


The Sollya tool and the material of this website is Copyright © 2006-2022 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,
University of Alaska Anchorage, College of Engineering
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.