It's just asking if many 3 term clauses ANDed together are true for a given input set, so you'd give the inputs to spend it to your wallet. Automatic bounties o

It's just asking if many 3 term clauses ANDed together are true for a given input set, so you'd give the inputs to spend it to your wallet. Automatic bounties on optimization (sub)problems, yep. For various reasons, you probably want to use arithmetic and string operations for encoding certain problens. You could do it in bit operations, but efficiency. I can't take credit for it -- it's one of those things that was floating around as a usage early on, but the features were killed.