Natto — an infeasibility tool for rewriting
Natto is a simple infeasibility tool based on ordering-based methods.
Versions
version 0.2
(released on 2026-07-01)
CoCo 2026 version
(static binary, packaged for StarExec)
version 0.1
(for
the CPP 2025 paper
)