db6e15361b
Add Java APIs for polymorphic datatypes ( #8438 )
...
* Initial plan
* Add Java APIs for polymorphic datatypes and type variables
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
* Fix code review issue and add documentation
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
* Add TypeVarSort.java to CMakeLists.txt for Java bindings
The CMake build was failing because TypeVarSort.java was not included in the Z3_JAVA_JAR_SOURCE_FILES list in src/api/java/CMakeLists.txt. Added it in alphabetical order between TupleSort.java and UninterpretedSort.java.
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com >
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
2026-01-31 15:31:36 -08:00
2ab9887478
Add comprehensive Java IDE setup documentation for ClassNotFoundException ( #8260 )
...
* Initial plan
* Add comprehensive Java IDE setup documentation
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
* Fix documentation issues: use version placeholder and fix Gradle syntax
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
---------
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com >
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com >
2026-01-19 22:24:22 -08:00
764e033bf4
Specify and document value for environment variable for loading native library in Java bindings ( #5477 )
...
* limit range of environment variable for loading the native library in Java to "true".
This change specifies the range of values that are allowed to set the environment
variable "z3.skipLibraryLoad".
Only the value "true" (in upper-, lower-, and mixed-case is accepted as valid value.
Other values, such as "false", "0", "1", "foo", an empty or a missing value are
evaluated to "false" and cause the default loading of the native library.
* adding documentation about environment variable for (not) loading the native library in Java.
This is a follow-up commit for #4667 to provide a publicly visible documentation.
2021-08-13 14:54:02 -07:00
a76397d3b8
Refer to macOS rather than Mac OS / OSX.
2018-10-02 17:38:09 +07:00
2f9b3c42eb
Java API cleanup
...
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com >
2014-10-24 19:43:36 +01:00
cc99e96786
Java API Cleanup
...
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com >
2014-10-24 18:00:36 +01:00
001c8487e9
small change to be able to test java example on linux
...
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com >
2012-11-29 09:13:24 -08:00
a9883e972f
Java API: Bugfixes and Example.
...
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com >
2012-11-27 23:06:35 +00:00
Copilot