Use a custom block for storing a Z3_config in the ML bindings.
Use a custom block for storing a Z3_config in the ML bindings.

kyledewey/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,seahorn/z3,seahorn/z3,seahorn/z3,kyledewey/z3,seahorn/z3,kyledewey/z3,seahorn/z3,kyledewey/z3