Bradley Ellert

Are there any special installation instructions for Z3 on Windows? I've installed it many times on Ubuntu with no problems, but when I try to do it on Windows, I...

Thanks for the quick replies! @marcogario, I got a chance to try (again) running master. @mikand, this set the `PATH` variable as well as the `PYTHONPATH` variable. I was roughly...

@mikand, thanks for the detailed directions! I followed what you outlined and I was able to get Z3 to print out it's version: ```python >>> import z3 >>> print(z3.get_version()) (4,...

@mikand, good call on checking the version. I see that pysmt's master has been updated to install version 4.5 of Z3 (https://github.com/pysmt/pysmt/commit/ab17a36b4c71023b61c122a141a3f94f4bededd5#diff-7acb7918037e706c3bdcf56322cfa39cR36), while the latest on PyPI installs version 4.4...

@mikand No worries! Thanks for being so responsive. I tried `fixing_z3_logic_by_name` (commit 09812b8) and it looks like it fixes my issue on Windows! I'll try incorporating this particular commit into...

@mikand I do believe it solved the problem and is safe to merge. Unfortunately when my colleague tried to do `pysmt-install --z3`, the download just hung there making no progress....

Unfortunately it seems to be by design: https://github.com/github/markup/issues/172 :-(

Similar to @murraythom's idea for asynchronous qbsolv?

Email from Fred Glover to Mike Booth: > Mike, > > Here's a thought about a possible way to refine the "partitioning with clamping" approach. As we discussed in our...

This could speed things up by providing a good starting point if known. Alternatively, this could trap it in a sub-optimal low-energy well. Especially becomes irrelevant if large-scale randomisation is...