Software

You will find here two versions of the SOSSubC system. If you have no particular reason to choose the first version of the system, go and get the second version (SOSSubCext).
You will also find, soon, a system for term rewriting.

Note: you will probably need to 'shift+click' or 'right-click' and select 'save link as...' to successfully download the files.

SOSSubCR

Here is the latest version (currently 1.9.5) of a Java 1.2 implementation of the SOSSubCR system, formerly called SOSC--. It is a jar file you can run with the following command line to get some help: java -jar sossubc.jar -h
You will also need the rule file.

SOSSubCext

Here is the latest version (currently 3.3.1) of a Java 1.2 implementation of the SOSSubCext system. It is a jar file you can run with the following command line to get some help: java -jar sossubc.jar -h

Note : A new version will be written as the method improved. Available later...

A Java implementation of term rewriting

Extracted from SOSSubCR, the rewrite engine will later be available here as a standalone application.