Change CAISAR description in opam synopsis and main help message.

caisar.opam

 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
 version: "0.1"
-synopsis: "Framework for neural network verification"
+synopsis:
+  "Platform for characterizing the safety and robustness of artificial intelligence based software."
 depends: [
   "ocaml" {>= "4.13.0"}
   "dune-site" {= "2.9.0"}

dune-project

@@ -11,7 +11,7 @@
 
 (package
   (name caisar)
-  (synopsis "Framework for neural network verification")
+  (synopsis "Platform for characterizing the safety and robustness of artificial intelligence based software.")
   (depends
    (ocaml (>= 4.13.0))
    (dune-site (= 2.9.0))

src/main.ml

@@ -193,7 +193,10 @@ let verify_cmd =
     Term.info cmdname ~sdocs:Manpage.s_common_options ~exits ~doc ~man )
 
 let default_cmd =
-  let doc = "Framework for neural networks property verification and more." in
+  let doc =
+    "Platform for characterizing the safety and robustness of artificial \
+     intelligence based software."
+  in
   let sdocs = Manpage.s_common_options in
   let man =
     [