<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/59020>59020</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            How to call SMTconstraintmanager？
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          dongyuma
      </td>
    </tr>
</table>

<pre>
    I tried and found that when i treat floating point type，it didn‘t call SMTconstraintmanager.It just call rangeconstraintmanager and simpleconstraintmanager. I want to know when call SMTconstraintmanager,and how to call SMTconstraintmanager？thank you
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJyNT0Fu5CAQfA2-oLUwtgk-cNhMMsoc9rT5QNtgmwSDBU1G8_swk0R7iCKthIBSVVdVj0Ff1IlitEZT8JrOIZcbV0B6Xo2ntnCmgNkFQOsXugfrkeJlN-TxSO4PRB4sUm21J4-cSEYGiXQC5-jfP89T8AkjlIkNPCwm1iekLzl9KiL4xXzT3Hoku-3uO1fTEz3DtUCgrz6cP0r-GEf44Wq2FmEZ-Fn2sclwLHv7V3oJuTKqEUL2suOcVVq1emgHqNCiM-rpf-2qHJ1aEfdE2t-EH8tZLK55rKewFeDc29fza4_hxUxYoE0pm1Q-_cBK-KpYI7qulZ0Y5kFMdyDnWTDZjVMDUva9qRyMxiVF-nvSP1RWccZ50zSC3bWiH-pxbEfOeSeM1nJmgnTMbGBdfQ2uQ1yqqG4dxrykQjqbMP0jISW7eGO-_CHjGqLSwS-XvEF166tuZd8BrZ_G4w">