Self-folding is an emerging paradigm for the inverse design of three-dimensional structures. While most efforts have concentrated on the shape of the net, our approach introduces a new design dimension-bond specificity between the edges. We transform this design process into a Boolean Satisfiability problem to derive solutions for various target structures. This method significantly enhances the yield of the folding process. Furthermore, by linearly combining independent solutions, we achieve designs for shape-shifting nets wherein the dominant structure evolves with varying external conditions. This approach is demonstrated through coarse-grained simulations on two examples of triangular and square nets capable of folding into multiple target shapes.