mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-04 21:23:36 +00:00
Code Activity
z3/src/api/java
History
Nikolaj Bjorner c580bcd4d1
Merge pull request #8762 from TempuraFramework/master 
Add missing Java API for `as-array`
2026-02-24 13:51:33 -08:00
..
AlgebraicNum.java
ApplyResult.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
ArithExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
ArithSort.java
ArrayExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
ArraySort.java add method for accessing i'th domain sort in array #6344 2022-09-15 07:38:02 -07:00
AST.java Correctly distinguish between Lambda and Quantifier in Z3 Java API (#7955) 2025-09-30 09:55:14 -07:00
ASTMap.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
ASTVector.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
BitVecExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
BitVecNum.java enable binary string access to unsigned numerals over API #4568 2020-07-07 18:59:20 -07:00
BitVecSort.java
BoolExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
BoolSort.java
CharSort.java adding access to characters over API 2021-07-13 15:56:08 +02:00
CMakeLists.txt Apply headerpad fix to build systems (Python and CMake) and fix validation test paths 2026-02-18 21:02:10 -08:00
Constructor.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
ConstructorList.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
Context.java Add missing Java API method for as-array 2026-02-24 13:55:39 -06:00
DatatypeExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
DatatypeSort.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
EnumSort.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
Expr.java Add missing API methods: Java substituteFuns, TypeScript Fixedpoint and substitution APIs (#8138) 2026-02-18 20:57:07 -08:00
FiniteDomainExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
FiniteDomainNum.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
FiniteDomainSort.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
FiniteSetSort.java Add finite set API support for C# and Java bindings (#8003) 2025-11-04 15:57:55 -08:00
Fixedpoint.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
FPExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
FPNum.java port to BoolPtr 2026-02-18 20:56:02 -08:00
FPRMExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
FPRMNum.java
FPRMSort.java
FPSort.java
FuncDecl.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
FuncInterp.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
Global.java
Goal.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
IntExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
IntNum.java
IntSort.java
IntSymbol.java
Lambda.java Correctly distinguish between Lambda and Quantifier in Z3 Java API (#7955) 2025-09-30 09:55:14 -07:00
ListSort.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
Log.java port to BoolPtr 2026-02-18 20:56:02 -08:00
manifest
Model.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
NativeStatic.txt Add missing API bindings: importModelConverter, OnClause, and user propagator 2026-02-23 01:01:26 +00:00
OnClause.java Add missing API bindings: importModelConverter, OnClause, and user propagator 2026-02-23 01:01:26 +00:00
Optimize.java Add missing API methods across language bindings (discussion #8701) 2026-02-20 04:24:22 +00:00
ParamDescrs.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
Params.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
Pattern.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
Probe.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
Quantifier.java Typo Fixes (#6803) 2023-07-09 11:56:10 -07:00
RatNum.java
RCFNum.java Add RCF (Real Closed Field) bindings to C++, Java, C#, and TypeScript (#8171) 2026-02-18 20:57:10 -08:00
README Add comprehensive Java IDE setup documentation for ClassNotFoundException (#8260) 2026-02-18 20:57:50 -08:00
RealExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
RealSort.java
ReExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
RelationSort.java
ReSort.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
SeqExpr.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
SeqSort.java adding access to characters over API 2021-07-13 15:56:08 +02:00
SetSort.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
Simplifier.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
Solver.java Add missing API methods: dimacs, translate, proof, addSimplifier, getLower/getUpper, etc. 2026-02-24 17:22:17 +00:00
Sort.java Add missing mkLastIndexOf method and CharSort case to Java API (#8002) 2025-10-30 02:57:52 -07:00
Statistics.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
Status.java
StringSymbol.java
Symbol.java
Tactic.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00
TupleSort.java Java type generics (#4832) 2020-11-30 10:04:54 -08:00
TypeVarSort.java Add Java APIs for polymorphic datatypes (#8438) 2026-02-18 20:58:00 -08:00
UninterpretedSort.java
UserPropagatorBase.java add on_binding callbacks across APIs 2025-08-07 12:55:50 -07:00
Version.java
Z3Exception.java
Z3Object.java Allow different parsing strategies (#4205) 2020-05-04 12:28:50 -07:00
Z3ReferenceQueue.java Improved Java phantom references (#7131) 2024-02-21 08:39:58 -08:00

README 

Java bindings
-------------

The Java bindings will be included in the Z3 build if it is configured with   
the option --java to python scripts/mk_make.py. This will produce the   
com.microsoft.z3.jar package in the build directory.

## IDE Setup Guide

For comprehensive instructions on using Z3 Java bindings in IDEs (Eclipse, 
IntelliJ IDEA, Visual Studio Code), including troubleshooting common issues 
like ClassNotFoundException, see:
   ../../../doc/JAVA_IDE_SETUP.md