ToySMT - simple SMT solver under ~1500 SLOC of pure C.

Happy new year! ToySMT - simple SMT solver under ~1500 SLOC of pure C. Early sneak preview, as they say.

https://github.com/DennisYurichev/ToySMT.

→ [back to the main page]