ToySMT – simple SMT solver under 1500 SLOC of pure Cgithub.com/DennisYurichev91 pointsdennis7148 years ago