Support "fuzzy" results

[spacekookie]

Sometimes a clause is solvable but it's result isn't one set of interpretations for it's set of symbols. Therefore lrs needs to be able to handle "fuzzy" (what is the technically correct term for this?) results.

The clause { A, B } has the results:

A	B
1	1
1	0
0	1

This can either be done by

• Letting the final resolve function return a list of possible interpretations
• Changing the "LResult" struct (Should this be named Interpretation instead?) to handle these fuzzy-cases