Natto — an infeasibility tool for rewriting
Natto is a simple infeasibility tool based on ordering-based methods, see
the paper
for more information. The
source code
is available here.