Reenable cvc5parser.so solver dependency in the ivy config
@@ -29,7 +29,7 @@ SPDX-License-Identifier: Apache-2.0
<publications defaultconf="solver-cvc5">
<artifact name="libcvc5jni" conf="solver-cvc5" type="shared-object" ext="so"/>
<artifact name="libcvc5" conf="solver-cvc5" type="shared-object" ext="so"/>
- <!--<artifact name="libcvc5parser" conf="solver-cvc5" type="shared-object" ext="so"/>-->
+ <artifact name="libcvc5parser" conf="solver-cvc5" type="shared-object" ext="so"/>
<artifact name="cvc5" conf="solver-cvc5" />
</publications>
