cvc3_array.drv

import "cvc3.gen"

theory BuiltIn
  meta "select_inst" "goal"
  meta "select_kept" "goal"
  meta "select_lskept" "nothing"
  meta "completion_mode" "only_kept"
end

(*
Local Variables:
mode: why
compile-command: "unset LANG; make -C .. bench"
End:
*)