clavis is a toolchain for visualizing clasp’s solving process.

Download Resources