z3-src 415.4.4

Source distribution of the Z3 SMT solver, for use as a build dependency
Documentation 
1
2
3
4

def_module_params(module_name='rewriter',
                  class_name='seq_rewriter_params',
                  export=True,
                  params=(("coalesce_chars", BOOL, True, "coalesce characters into strings"),))