clone from https://issc.uj.ac.za/symbolic/symbolic.html - View it on GitHub