-
Clément Fumex authored
Adding mathematical functions (+ - / *...) and comparison predicates to the theory of bit-vector and cvc4 driver (based on smt2-lib theory of bit-vector).
57756cc6
Adding mathematical functions (+ - / *...) and comparison predicates to the theory of bit-vector and cvc4 driver (based on smt2-lib theory of bit-vector).