Files

.github
cmake
contrib
doc
docker
examples
noarch
resources
scripts
src
- ackermannization
- api
  - c++
  - dll
  - dotnet
  - java
  - js
    - examples
      - high-level
      - low-level
    - scripts
    - src
    - .nvmrc
    - .prettierrc.json
    - PUBLISHED_README.md
    - README.md
    - jest.config.js
    - package-lock.json
    - package.json
    - tsconfig.build.json
    - tsconfig.json
    - typedoc.json
  - julia
  - ml
  - python
  - CMakeLists.txt
  - api_algebraic.cpp
  - api_arith.cpp
  - api_array.cpp
  - api_ast.cpp
  - api_ast_map.cpp
  - api_ast_map.h
  - api_ast_vector.cpp
  - api_ast_vector.h
  - api_bv.cpp
  - api_config_params.cpp
  - api_context.cpp
  - api_context.h
  - api_datalog.cpp
  - api_datalog.h
  - api_datatype.cpp
  - api_fpa.cpp
  - api_goal.cpp
  - api_goal.h
  - api_log.cpp
  - api_model.cpp
  - api_model.h
  - api_numeral.cpp
  - api_opt.cpp
  - api_params.cpp
  - api_parsers.cpp
  - api_pb.cpp
  - api_polynomial.cpp
  - api_polynomial.h
  - api_qe.cpp
  - api_quant.cpp
  - api_rcf.cpp
  - api_seq.cpp
  - api_solver.cpp
  - api_solver.h
  - api_special_relations.cpp
  - api_stats.cpp
  - api_stats.h
  - api_tactic.cpp
  - api_tactic.h
  - api_util.h
  - z3.h
  - z3_algebraic.h
  - z3_api.h
  - z3_ast_containers.h
  - z3_fixedpoint.h
  - z3_fpa.h
  - z3_logger.h
  - z3_macros.h
  - z3_optimization.h
  - z3_polynomial.h
  - z3_private.h
  - z3_rcf.h
  - z3_replayer.cpp
  - z3_replayer.h
  - z3_spacer.h
  - z3_v1.h
- ast
- cmd_context
- math
- model
- muz
- nlsat
- opt
- params
- parsers
- qe
- sat
- shell
- smt
- solver
- tactic
- test
- util
- CMakeLists.txt
.dockerignore
.gitattributes
.gitignore
CMakeLists.txt
LICENSE.txt
README-CMake.md
README.md
RELEASE_NOTES.md
azure-pipelines.yml
configure
z3.pc.cmake.in

examples

walnutwaldo

[WIP] More TS Binding Features (Z3Prover#6412 )

Feb 11, 2023

ede9e5f · Feb 11, 2023

History

This branch is 30 commits ahead of, 1192 commits behind Z3Prover/z3:master.

Name	Name	Last commit message	Last commit date
parent directory ..
high-level	high-level	[WIP] More TS Binding Features (Z3Prover#6412 )	Feb 11, 2023
low-level	low-level	[WIP] More TS Binding Features (Z3Prover#6412 )	Feb 11, 2023

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

examples

examples

Files

examples

Directory actions

More options

Directory actions

More options

Latest commit

History

examples

Folders and files

parent directory