mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
added Java docs
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
parent
4981134fd7
commit
99d0449272
|
@ -13,6 +13,7 @@
|
|||
- \ref capi
|
||||
- \ref cppapi
|
||||
- <a class="el" href="class_microsoft_1_1_z3_1_1_context.html">.NET API</a>
|
||||
- <a class="el" href="namespacecom_1_1microsoft_1_1z3.html">Java API</a>
|
||||
- <a class="el" href="namespacez3py.html">Python API</a> (also available in <a class="el" href="z3.html">pydoc format</a>).
|
||||
- Try Z3 online at <a href="http://rise4fun.com/z3py">RiSE4Fun</a> using <a href="http://rise4fun.com/z3py">Python</a> or <a href="http://rise4fun.com/z3">SMT 2.0</a>.
|
||||
*/
|
||||
|
|
|
@ -687,6 +687,7 @@ WARN_LOGFILE =
|
|||
# with spaces.
|
||||
|
||||
INPUT = ../src/api/dotnet \
|
||||
../src/api/java \
|
||||
../src/api/c++ \
|
||||
./tmp
|
||||
|
||||
|
@ -740,7 +741,8 @@ FILE_PATTERNS = website.dox \
|
|||
Util.cs \
|
||||
Version.cs \
|
||||
Z3Exception.cs \
|
||||
Z3Object.cs
|
||||
Z3Object.cs \
|
||||
*.java
|
||||
|
||||
# The RECURSIVE tag can be used to turn specify whether or not subdirectories
|
||||
# should be searched for input files as well. Possible values are YES and NO.
|
||||
|
|
Loading…
Reference in a new issue