Skip to content

Releases: stanford-centaur/smt-switch

Pono submission for HWMCC20

16 Sep 18:53
@ahmed-irfan ahmed-irfan
hwmcc20
822af6f
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Pono submission for HWMCC20 Pre-release
Pre-release

https://github.com/upscale-project/pono/releases/tag/hwmcc2020

Assets 2
Loading

Smt-Switch 0.2.0

24 Feb 04:30
@makaimann makaimann
v0.2.0
ca7c76f
Compare
Choose a tag to compare
Smt-Switch 0.2.0 Pre-release
Pre-release

This release contains:

  • Backends for quantifier-free solving with Boolector, CVC4 and MathSAT for the following theories
    • Fixed with bitvectors
    • Linear/Nonlinear integer arithmetic (except Boolector)
    • Linear/Nonlinear real arithmetic (except Boolector)
    • Arrays
    • Uninterpreted functions
  • Python bindings

Known issues:

  • Transferring terms between solvers is not always supported
    • Some solvers have non-SMT-LIB internal representations that are not currently mapped back to SMT-LIB correctly
Assets 2
Loading