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.
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.
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...
Extracted from SOSSubCR, the rewrite engine will later be available here as a standalone application.