A tool to optimize contracts in FlatCurry programs by proving contracts
Detailed package documentation (available shortly after this version has been published)