8000 Commits · annabeks/pysmt · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Oct 7, 2024

Fix optimization when casting constants in reals
Anna Becchi
committed
Ensure every created formula is type-checked
Anna Becchi
committed
Fix tests where TypeError was not noticed
Anna Becchi
committed
Add test showing un-coerced smtlib expression
Anna Becchi
committed
Add test showing un-raised TypeError
Anna Becchi
committed

Commits on Jul 18, 2024

Merge pull request #779 from pysmt/issue_778
mikand
authored

Commits on Jul 17, 2024

Commits on Jun 23, 2024

Release 0.9.6
marcogario
committed

Commits on May 31, 2024

Merge pull request #761 from pysmt/update-solvers-202307
mikand
authored

Commits on May 30, 2024

0