Skip to content

Release 0.1.0
Compare
Choose a tag to compare
@Saloed Saloed released this 26 Sep 18:32
· 106 commits to main since this release
0.1.0
9c1f811
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.

Supported theories:

  • BitVec
  • Arrays
  • Fp
  • Integers / Reals
  • Quantifiers

Supported solvers:

  • Z3 --- all theories are supported
  • Bitwuzla --- only BitVec and Arrays are supported
Assets 8
Loading