mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-30 15:00:08 +00:00
Code Activity
z3/src/cmd_context
History
Nikolaj Bjorner 794aafa6f8 fix warnings 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2020-01-23 12:14:34 -06:00
..
extra_cmds fix warnings 2020-01-23 12:14:34 -06:00
basic_cmds.cpp na 2020-01-21 10:29:42 -06:00
basic_cmds.h
check_logic.cpp add bit-matrix, avoid flattening and/or after bit-blasting, split pdd_grobner into solver/simplifier, add xlin, add smtfd option for incremental mode logic 2020-01-01 20:14:20 -08:00
check_logic.h
CMakeLists.txt
cmd_context.cpp delay load specrels 2020-01-10 12:18:56 -08:00
cmd_context.h Revert "remove unused random seed parameter on cmd_context" 2019-10-29 11:05:50 -07:00
cmd_context_to_goal.cpp
cmd_context_to_goal.h
cmd_util.cpp
cmd_util.h
context_params.cpp consolidate model.compact and model_compress #2704 2019-11-15 11:07:08 -08:00
context_params.h consolidate model.compact and model_compress #2704 2019-11-15 11:07:08 -08:00
echo_tactic.cpp
echo_tactic.h
eval_cmd.cpp
eval_cmd.h
parametric_cmd.cpp
parametric_cmd.h
pdecl.cpp fix #2824 fix #2825 2019-12-25 21:06:26 -08:00
pdecl.h
README
simplify_cmd.cpp
simplify_cmd.h
tactic_cmds.cpp
tactic_cmds.h
tactic_manager.cpp
tactic_manager.h

README 

Command context provides the infrastructure for executing commands in front-ends such as SMT-LIB 2.0.
It is also provides the solver abstraction to plugin solvers in this kind of front-end.