toysolver v0.4.0 Release Notes

Release Date: 2016-01-25 // over 6 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.