Reenable cvc5parser.so solver dependency in the ivy config
Reenable cvc5parser.so solver dependency in the ivy config

sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt,sosy-lab/java-smt