find which values satisfy a boolean formula : <p>I have the following Boolean expression 
x > 5 AND y > 10</p>

<pre><code>C:\&gt;python Python 3.6.1 (v3.6.1:69c0db5, Mar 21 2017, 18:41:36)Type "help", "copyright", "credits" or "license" for more information.
&gt;&gt;&gt; x = 3
&gt;&gt;&gt; y = 11
&gt;&gt;&gt; eval("x&gt;5 and y &gt; 10") False
&gt;&gt;&gt; x = 6
&gt;&gt;&gt; eval("x&gt;5 and y &gt; 10") True
&gt;&gt;&gt;
</code></pre>

<p>When x > 5 and y > 10 the evaluation is formula is evaluated to "true". </p>

<p>When x == 6 and y == 5 the formula is evaluated to "false" because y &lt; 10. </p>

<p>I would like to know if there is a library/software (python is used as an example, the language is not a problem) that can answer to the caller which values satisfy the formula. </p>
