Karlheinz Friedberger

I started the migration to MavenCentral. Until now, it just looks like the publication process is slightly changed, ie.e. new credentials and maybe an updated URL in `~/.m2/settings.xml` is sufficient....

It looks like the API of MavenCentral is different and does not allow to use our ant-maven integration plugin. The plugin we use is quite old (still in original version...

Current Status: JavaSMT, along with its dependencies and libraries, is currently unable to publish to Maven. The issue persists due to a lack of sufficient effort or resources to address...

A simple branch is not sufficient, because we need to publish each dependency into Maven, inlcuding: - each solver, especially binary libraries with multiple files - sosylab-comon-lib - JavaSMT itself....

We currently do not have Apple hardware for development and testing. Cross-compilation for Apple might not work. That operating system is special. 💰 If an SMT solver provides native libraries...

Hi @hernanponcedeleon . The topic appeared often enough to make me really think about it. :smile: I will try to find a solution within the next week, and report here....

### Step 3: Collect data and knowhow #### Z3 Z3 is available in x64 and arm64 version for Linux, Windows, and OSX. This is impressive. :+1: Linux version went wrong...

### Step 4: Do it. Work in progress. I updated the previous comment with more details. See also https://github.com/sosy-lab/java-smt/pull/395. ### Step 5: Testing Z3 v4.13.0 was published to Maven: https://central.sonatype.com/artifact/org.sosy-lab/javasmt-solver-z3/4.13.0...

Changes in scripts and publication process are applied with https://github.com/sosy-lab/java-smt/pull/395. See the [Readme](https://github.com/sosy-lab/java-smt/blob/master/README.md) for support in solvers, operating systems, and platforms.

Hi @daniel-raffler . I uploaded `Princess 2024-11-08` and `Ostrich 1.4.1` to the Sosy-Lab Ivy repository. **PS:** You can also do the Ivy publication on your own. The requirement is a...