The current stable release is Sollya 6.0. It has been released on October 19, 2016.

Download it.

Online documentation:

The documentation is also available as a pdf file.

Sollya 5.0 has been released on June 15, 2016.

It is available either as a zip file, a tar.gz file, or a tar.bz2 file.

Online documentation:

The documentation is also available as a pdf file.

Sollya 4.1 has been released on November 26, 2013.

It is available either as a zip file, a tar.gz file, or a tar.bz2 file.

Online documentation:

The documentation is also available as a pdf file.

Sollya 4.0 has been released on May 30, 2013.

It is available either as a zip file, a tar.gz file, or a tar.bz2 file.

Online documentation:

The documentation is also available as a pdf file.

Sollya 3.0 has been released on May 24, 2011.

It is available either as a zip file, a tar.gz file, or a tar.bz2 file.

Online documentation:

The documentation is also available as a pdf file.

Sollya 2.9 has been released on February 11, 2011.

It is available either as a zip file, a tar.gz file, or a tar.bz2 file.

Online documentation:

The documentation is also available as a pdf file.

Sollya 2.0 has been released on April 20, 2010.

It is available either as a zip file, a tar.gz file, or a tar.bz2 file.

Online documentation:

The documentation is also available as a pdf file.

Sollya 1.1 has been released on September 18, 2008.

It is available either as a zip file, a tar.gz file, or a tar.bz2 file.

The documentation is available as a pdf file.

Sollya 1.0 has been released on Januray 5, 2008.

It is available either as a zip file, a tar.gz file, or a tar.bz2 file.

The documentation is available as a pdf file.