This chapter describes Karp libraries that provides additional structures and respective operations to formulate decision problems and the reductions.
4.1 cnf
4.2 graph
4.3 mapping