Get Redlog

Precompiled Packages

System Version Compile Date Download
Linux 3258 2015-10-20 TGZ
Mac OSX 3258 2015-10-19 DMG
Windows 3258 2015-10-20 ZIP

Compile Redlog Sources from SourceForge

Redlog is included in the open-source computer algebra system Reduce, which is available on SourceForge:

Redlog is continuously being developed and improved. For serious Redlog users we recommend to check out the Reduce sources from SVN and compile the system themselves.

Compilation requires a configure and a make step, which usually cause no problems. Detailed download and installation instructions can be found on the installation page in the Reduce Wiki.