▲ 1 pointsChecking simple equations or inequalities with z3lemire.meby ibobev·4y ago·0 comments·view on hn ↗