30 lines
1.3 KiB
Plaintext
30 lines
1.3 KiB
Plaintext
z3: /.
|
|
z3: /data
|
|
z3: /data/data
|
|
z3: /data/data/com.termux
|
|
z3: /data/data/com.termux/files
|
|
z3: /data/data/com.termux/files/usr
|
|
z3: /data/data/com.termux/files/usr/include
|
|
z3: /data/data/com.termux/files/usr/include/z3_macros.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_fixedpoint.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_optimization.h
|
|
z3: /data/data/com.termux/files/usr/include/z3++.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_fpa.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_rcf.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_algebraic.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_spacer.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_polynomial.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_api.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_v1.h
|
|
z3: /data/data/com.termux/files/usr/include/z3.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_ast_containers.h
|
|
z3: /data/data/com.termux/files/usr/include/z3_version.h
|
|
z3: /data/data/com.termux/files/usr/lib
|
|
z3: /data/data/com.termux/files/usr/lib/libz3.so
|
|
z3: /data/data/com.termux/files/usr/bin
|
|
z3: /data/data/com.termux/files/usr/bin/z3
|
|
z3: /data/data/com.termux/files/usr/share
|
|
z3: /data/data/com.termux/files/usr/share/doc
|
|
z3: /data/data/com.termux/files/usr/share/doc/z3
|
|
z3: /data/data/com.termux/files/usr/share/doc/z3/LICENSE
|