drivers/cvc4_16.drv

   1 (** Why3 driver for CVC4 1.6 *)
   2
   3 prelude ";; produced by cvc4_16.drv ;;"
   4
   5 prelude "(set-logic AUFBVFPDTNIRA)"
   6 (*
   7     A    : Array
   8     UF   : Uninterpreted Function
   9     BV   : BitVectors
  10     FP   : FloatingPoint
  11     DT   : Datatypes
  12     NIRA : NonLinear Integer+Real Arithmetic
  13 *)
  14
  15 import "cvc4_16.gen"