elsoroka/Satisfiability.jl

Add missing operators defined in SMT-LIB QF_BV Logic specification

Closed this issue · 0 comments

elsoroka commented

The core BitVector operations defined here are available, but some of the additional BitVector operations defined here are missing.

List of missing operators:

  • bvcomp
  • bvsdiv
  • repeat
  • zero_extend
  • sign_extend
  • rotate_left
  • rotate_right