NPify, means to take some problem and encode it into an NP-hard problem. We can NPify problems that are in P, because we are too lazy to write a custom algorithm. We can NPify problems in NP, thanks to NP-completeness. And by writing tools that interact with a solver, we can even NPify problems beyond NP!
To help you NPify your problems we are working on an npify python library, comming soon! While you are waiting, checkout the other projects from the NPify universe:
League of Solvers