You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm using maven to build my project and I cannot find how to add the dependencies for yices2 to my pom file. This example shows how to add all solver dependencies except yices2.
I couldn't either find the corresponding jar in this maven repository and there is no pom file for yices2 in solvers_maven_conf.
Is yices2 yet not supported when building using maven?
The text was updated successfully, but these errors were encountered:
I'm using
maven
to build my project and I cannot find how to add the dependencies foryices2
to mypom
file. This example shows how to add all solver dependencies exceptyices2
.I couldn't either find the corresponding jar in this maven repository and there is no
pom
file foryices2
insolvers_maven_conf
.Is
yices2
yet not supported when building usingmaven
?The text was updated successfully, but these errors were encountered: