>if you want particular properties of your answer that are "nice to haves" but not required, it is hard to encode what I like about Reduced Ordered Binary Deci

>if you want particular properties of your answer that are "nice to haves" but not required, it is hard to encode what I like about Reduced Ordered Binary Decision Diagrams (ROBDD) is that they can also tell you how many solutions there are, so you first encode the mandatory requirements, and if there are plenty of solutions, you can try adding requirements for the next-most-desired properties, or give up on a certain property by keeping an eye on the number of solutions.