Z3Prover/z3

Bundling Dynamic Libraries Inside JAR for Ease of Redistribution

Open

#182 opened on Jul 31, 2015

View on GitHub
 (14 comments) (6 reactions) (1 assignee)C++ (9,468 stars) (1,445 forks)batch import
build/releaseenhancementhelp wanted

Description

Currently to use the Java API on Linux platform, the developer must explicitly compile and link the dynamic libraries.

It would be much easier to integrate Z3 to an existing Java project if it could bundle dependencies in just one or multiple JAR files. These JAR file(s) should contain the required dynamic libraries for the specific platform.

Contributor guide

Tech stack
javacpp
Domain
build systemtoolingdeveloper experience
Issue type
feature
DifficultyEstimated implementation difficulty for a new contributor, from 1 for very small changes to 5 for expert-level work.
4
Estimated timeA rough time range for an experienced contributor to investigate, implement, test, and prepare a pull request.
1-2 days
Activity statusHow available the issue appears right now: fresh, active, stale, blocked, or waiting on maintainer input.
stale
ClarityHow clearly the issue explains the expected change, acceptance criteria, and next step.
clear
Prerequisites
Java build tools (Maven/Gradle)Native library loading in JavaZ3's C++ build system
Newbie friendlinessA 1-100 score estimating how approachable this issue is for first-time contributors.
40
Research direction
Investigate the current build system for Java bindings (likely Maven or Gradle). Determine how native libraries are currently handled and bundled. Review comments on issue #182 for prior discussions. Look at similar projects (e.g., other theorem provers with Java bindings) for reference.