mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-09 23:42:21 +00:00
Code Activity
z3/src/params
History
Exact
Nikolaj Bjorner cc93c8d486 Add monadic regex end-game solver 
Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 1a1a0632-f993-4bee-b4f8-a87f960836a1
2026-08-01 12:03:53 -07:00
..
arith_rewriter_params.pyg
array_rewriter_params.pyg
bit_blaster_params.h
bool_rewriter_params.pyg
bv_rewriter_params.pyg change bit-vector AC simplification n to true 2026-07-10 15:00:32 -07:00
CMakeLists.txt Replace TPTP frontend env vars with tptp config module 2026-07-31 10:49:12 -07:00
context_params.cpp Standardize for-loop increments to prefix form (++i) (#8199) 2026-01-14 19:55:31 -08:00
context_params.h
dyn_ack_params.cpp
dyn_ack_params.h
fpa2bv_rewriter_params.pyg
fpa_rewriter_params.pyg
pattern_inference_params.cpp expose avoid-skolems parameter to deal with TPTP problems 2026-07-12 18:54:31 -07:00
pattern_inference_params.h
pattern_inference_params_helper.pyg expose avoid-skolems parameter to deal with TPTP problems 2026-07-12 18:54:31 -07:00
poly_rewriter_params.pyg
preprocessor_params.cpp
preprocessor_params.h
qi_params.cpp
qi_params.h
rewriter_params.pyg fix #8109 2026-01-07 10:56:50 -08:00
sat_params.pyg remove stale experimental code #8063 2025-12-12 05:49:05 +00:00
seq_rewriter_params.pyg
sls_params.pyg
smt_params.cpp fix loop bug in ho_matching and add throttle configurations 2026-07-07 09:20:32 -07:00
smt_params.h fix loop bug in ho_matching and add throttle configurations 2026-07-07 09:20:32 -07:00
smt_params_helper.pyg Add monadic regex end-game solver 2026-08-01 12:03:53 -07:00
solver_params.pyg
tactic_params.pyg
theory_arith_params.cpp
theory_arith_params.h
theory_array_params.cpp
theory_array_params.h
theory_bv_params.cpp
theory_bv_params.h
theory_datatype_params.h
theory_pb_params.cpp
theory_pb_params.h
theory_seq_params.cpp Add monadic regex end-game solver 2026-08-01 12:03:53 -07:00
theory_seq_params.h Add monadic regex end-game solver 2026-08-01 12:03:53 -07:00
tptp.pyg Replace TPTP frontend env vars with tptp config module 2026-07-31 10:49:12 -07:00