Disable the Python bindings by default which partially fixes issue #404. To enable the Python bindings use the newly added ``--python`` option.
Disable the Python bindings by default which partially fixes issue #404.
To enable the Python bindings use the newly added ``--python`` option.

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