mirror of
https://github.com/binghong-ml/retro_star.git
synced 2026-04-03 00:18:58 -06:00
Simplify rdchiral installation #23
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Originally created by @cthoyt on 8/27/2020
While installing the package, I didn't understand why there was a copy of the
rdchiralcodebase, which appears to be available from PyPI. Could this be added to theenvironment.ymlinstead of distributing it? Or, if you've made some changes, it would be a good thing to outline what they were.I tested that this works if you point to the canonical codebase, so I'd be happy to send a PR with the corresponding update.