Anfonwch hwn fel neges destun: Satisfiability solvers are static analysers