A tool to optimize contracts in FlatCurry programs by proving contracts
A tool to verify whether a Curry program executes without failures