smtml.0.7.0 is not compatible with cvc5.1.3.0

Signed-off-by: Marcello Seri <[email protected]>

Author: mseri

packages/smtml/smtml.0.7.0/opam

@@ -55,6 +55,7 @@ conflicts: [
   "bitwuzla-cxx" {< "0.6.0"}
   "alt-ergo-lib" {<= "2.6.1"}
   "z3" {< "4.12.2" | >= "4.15"}
+  "cvc5" {>= "1.3.0"}
 ]
 build: [
   ["dune" "subst"] {dev}