span class="micon en"></span></span>
 <h1 class="h600 single">Result</h1>
</div>
<div class="fqname body-large">
 <span>satify.model.Result</span>
</div>
<div class="main-signature mono-small-block">
 <div class="signature">
  <span class="modifiers"></span><span class="kind"><span t="k">enum </span></span><a href="Result.html" t="n" class="documentableName ">Result</a>
 </div>
</div>
<div class="cover">
 <div class="doc">
  <p>Sum Type representing the two possible results of SAT problem.</p> 
 </div>
 <se