úÎÝ” Safe-Inferred4A simple, lazy SMT solver based on Algorithm 11.2.1  on page 245 of '1Decision Procedures: An Algorithmic Point of View' Smooth-0.1.0.1Smooth.LazyBasicSMT lazyBasicSMTtrySAT propNegatesbuildClauseFromSatAsgnegateFalseLit