Leibniz System Software. Forked from "https://www.utdallas.edu/~klaus/Leibnizprogram/leibnizmain.html" - View it on GitHub