A library for reducing NP-hard problems
Procedural macros for problemreductions
CLI tool for exploring NP-hard problem reductions