Skip to content

ToySolver 0.4.0
Compare
Choose a tag to compare
@msakai msakai released this 25 Jan 13:10
· 1414 commits to master since this release
v0.4.0
dfb5071

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.

Assets 7
Loading