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.

Sign up for GitHub

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

Jump to bottom

Missing Python package dependencies #16

Open
xumingkuan opened this issue Apr 6, 2022 · 2 comments
Open

Missing Python package dependencies #16

xumingkuan opened this issue Apr 6, 2022 · 2 comments

Comments

@xumingkuan
Copy link
Collaborator

We have the following dependencies that are not shown in INSTALL.md of the current repo:

  • python-is-python3
  • Python package z3-solver==4.8.12
  • Python package natsort (this is only for showing the results in the artifact)

Is it sufficient to add the Python package dependencies to requirements.txt?
@Co1lin
Copy link
Collaborator

Co1lin commented Apr 6, 2022

On my working branch (parallelized BFS), I generate a conda dependencies yaml file to enable OpenMP. Not sure if it is relevant to this issue.

@xumingkuan
Copy link
Collaborator Author

Well I found the instructions about requirements.txt in dev_setup.md. So I added the two packages into requirements.txt just now.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@Co1lin @xumingkuan