Describe the way to convert 3SAT to solution of finding the right configuration from conflicting libraries in a system that can reexport APIs.