Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

OR-tools support #4

Open
kyliank opened this issue Dec 6, 2022 · 3 comments
Open

OR-tools support #4

kyliank opened this issue Dec 6, 2022 · 3 comments

Comments

@kyliank
Copy link

kyliank commented Dec 6, 2022

Hi!

Is it currently possible to manually include Google OR-tools in the compilation of minizinc-js?

@cyderize
Copy link
Member

cyderize commented Dec 6, 2022

Right now, the interface can only handle solvers which have a direct interface built into MiniZinc (this is because emulating the child process handling for FlatZinc solvers is rather difficult for WebAssembly/JS).

So you would have to add some code to MiniZinc which directly uses the OR-Tools library (theoretically this shouldn't be super difficult though).

@kyliank
Copy link
Author

kyliank commented Dec 20, 2022

Thanks! When following the steps from: https://www.minizinc.org/doc-2.5.5/en/installation_detailed_wasm.html, to compile it as WebAssambly; I get the follow error:
error: use emcmake rather then emconfigure for cmake projects

I did not change anything to the code yet, just latest code from GitHub. Using same command with emcmake did not fix the problem; any suggestions on how to compile correctly?

@Dekker1
Copy link
Member

Dekker1 commented Dec 20, 2022

That does indeed look out of date. We do actually use emcmake in our continuous integration builds: https://github.com/MiniZinc/libminizinc/blob/develop/.gitlab-ci.yml#L82-L104
Hopefully those can help instead.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants