toysolver v0.4.0 Release Notes
Release Date: 2016-01-25 // about 8 years ago-
๐ ToySolver version 0.4.0 release.
๐ The highlight of this release is the introduction of SMT (Satisfiablity Modulo Theories) solver 'toysmt'. At the moment, toysmt is very experimental and only supports the theory of uninterpreted functions and the theory of linear real arithmetic.