System requirements: 'REDUCE' <http://www.reduce-algebra.com>. At least
one of the 'CSL' or 'PSL' dialects must be installed in order
to use the package. Tested with 'REDUCE' releases 6860 and 6558
for both 'CSL' and 'PSL' on Linux, and 6558 and 6339 for 'CSL'
on MacOS