User:Realazthat/Projects wishlist/NP/Reduction library
Appearance
Make an NP-complete reduction library, which will be capable of reducing NP-complete problems to each-other.
Features:
- Computation of exact complexity
- By annotation of functions with their complexity
- Stacking of functions annotations