EMO:How EMO models SFT constraints

<math display="block"><mrow><mi _moz-math-font-style="italic">x</mi><mo>=</mo><mfrac><mrow><mo>−</mo><mi _moz-math-font-style="italic">b</mi><mo>±</mo><msqrt><mrow><msup><mi _moz-math-font-style="italic">b</mi><mn>2</mn></msup><mo>−</mo><mn>4</mn><mi _moz-math-font-style="italic">a</mi><mi _moz-math-font-style="italic">c</mi></mrow></msqrt></mrow><mrow><mn>2</mn><mi _moz-math-font-style="italic">a</mi></mrow></mfrac></mrow></math>