Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Yices2 dependencies using maven #243

Closed
hernanponcedeleon opened this issue Aug 7, 2021 · 1 comment
Closed

Yices2 dependencies using maven #243

hernanponcedeleon opened this issue Aug 7, 2021 · 1 comment

Comments

@hernanponcedeleon
Copy link

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?
@kfriedberger
Copy link
Member

As Yices2 is under GPL, releasing it is complex. Yices2 is not yet supported via Maven.
This is a duplicate of #221.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@kfriedberger @hernanponcedeleon