All checksums have been double-checked against existing RMD160 and SHA512 hashes
This is a lua port of the cassowary constraint solving toolkit. It allows you to use lua to solve algebraic equations and inequalities and find the values of unknown variables which satisfy those inequalities.