Flatzinc Format
Hi,
I have been exploring different solvers and came across D-Wave solver (qbsolv).
Also looked into the QMASM tool which gives flexibility for different output formats (including mzn format).
AFAIK, most of the solvers follow flatzinc format and can be interfaced with minizinc. Is there any way we can integrate qbsolv solver with minizinc? Please correct if my understanding/view is wrong.
Regards,
UT
Comments
Hello,
I believe the QMASM project that you are referring to is not one of our projects.
QBSolv in particular still exists, but we highly recommend that you use the dwave-hybrid framework or the Hybrid Solver Service.
dwave-hybrid framework:
https://docs.ocean.dwavesys.com/en/latest/docs_hybrid/sdk_index.html
Hybrid Solver Service:
https://docs.ocean.dwavesys.com/en/latest/overview/hybrid.html
I hope this was helpful!
Hello,
Thank you David J.
I have already gone through the docs which you have mentioned about hybrid solver. Also could do some handful example tests with hybrid solver.
Mainly, I was looking something like standalone tool/solver/binary which can be easily invoked from Minizinc framework.
Exploring d-wave hybrid solver and framework.
Let me know if I'm missing any valuable point here.
Regards,
UT
Hi,
Sorry, if I'm confusing. I'm layman to this solvers tech and might not join the points properly.
Trying to understand the different solvers and formats.
Regards,
UT
Hello,
You might want to check out the Jupyter Notebook "hybrid computing" from the Jupyter Hub:
https://cloud.dwavesys.com/leap/learning/
It goes through examples of how to run problems using the Hybrid Solver Service.
It is an easy to use, powerful tool.
This is one of our newest tools, which was released with Leap 2.
Please take a look and ask any questions you might have here.
Hopefully we can get you set up and using it in no time!
Hi,
Thank you so much User N for the information.
Will look into the "Hybrid Computing" from Jupyter Hub.
regards,
UT
Please sign in to leave a comment.