sosy-lab / java-smt

JavaSMT - Unified Java API for SMT solvers.
Apache License 2.0
180 stars 46 forks source link

Maven via Github-Maven-Registry instead of OSS-Nexus #385

Open kfriedberger opened 3 months ago

kfriedberger commented 3 months ago

There are several Maven providers. Currently the first pushed provider is OSS-Nexus, that was integrated long time back.

It lacks documentation for new users/admins and is not really nice to use. It works well.

We might think about using Github Maven Registry, such that there is no external service/account needed.